FindBugs Results

The following document contains the results of FindBugs.

Summary

Files	Errors
497	1717

Files

Files	Violations
joeq.Allocator.CodeAllocator$x86CodeBuffer	1
joeq.Allocator.HeapAllocator	7
joeq.Allocator.SemiConservative	1
joeq.Class.NullDelegates$Klass	1
joeq.Class.jq_Member$FilterByName	1
joeq.Class.jq_Member$FilterByShortClassName	1
joeq.Class.jq_Member	1
joeq.Class.jq_Class$1	2
joeq.Class.jq_Class	45
joeq.Class.jq_Reference$jq_NullType	1
joeq.Class.jq_Method	9
joeq.Class.jq_Array	6
joeq.Class.jq_CompiledCode	4
joeq.Class.jq_BytecodeMap	2
joeq.Class.PrimordialClassLoader$1	1
joeq.Class.PrimordialClassLoader	5
joeq.UTF.Utf8	8
joeq.ClassLib.ClassLibInterface	3
joeq.Runtime.ObjectTraverser	5
joeq.Runtime.Arrays	1
joeq.Runtime.BasicReflectionImpl	12
joeq.Runtime.TypeCheck	1
joeq.Runtime.SystemInterface	58
joeq.Runtime.HighResolutionTimer	5
joeq.Runtime.ReflectionImpl	14
joeq.Interpreter.QuadInterpreter	12
joeq.Interpreter.BytecodeInterpreter$MethodInterpreter	3
joeq.Interpreter.ReflectiveInterpreter$ReflectiveState	2
joeq.Interpreter.ReflectiveInterpreter$ReflectiveVMInterface	3
joeq.Interpreter.ReflectiveInterpreter	1
joeq.Interpreter.DirectInterpreter$DirectVMInterface	3
joeq.Util.DescriptorUtil	3
joeq.Main.ClassDump	5
joeq.Main.ClasspathWalker	5
joeq.Main.ClassName	1
joeq.Main.Driver$1	1
joeq.Main.Driver	5
joeq.Main.GenRelations	2
joeq.Main.GenerateWebRoots	1
joeq.Main.Helper	3
joeq.Main.Instrument$ClassVisitor$MethodVisitor	1
joeq.Main.Instrument$ClassVisitor	3
joeq.Main.TraceFlags	3
joeq.Main.jq	12
joeq.Main.Bootstrapper	1
joeq.Scheduler.jq_NativeThread	11
joeq.Scheduler.jq_ThreadQueue$1	2
joeq.Scheduler.jq_MainThread	1
joeq.Scheduler.jq_x86RegisterState	74
joeq.Bootstrap.BootstrapCodeAllocator	2
joeq.Bootstrap.SinglePassBootImage$TextSection	1
joeq.Bootstrap.SinglePassBootImage$DataSection	1
joeq.Bootstrap.SinglePassBootImage	9
joeq.Bootstrap.BootstrapRootSet	6
joeq.Bootstrap.MethodInvocation	1
joeq.Bootstrap.MultiPassBootImage	8
joeq.Debugger.OnlineDebugger	3
joeq.Synchronization.Atomic	2
joeq.Compiler.BytecodeAnalysis.Bytecodes$Instruction	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionList	2
joeq.Compiler.BytecodeAnalysis.Bytecodes$AALOAD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$AASTORE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ALOAD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ANEWARRAY	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ARETURN	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$BALOAD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$BASTORE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$CALOAD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$CASTORE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$CHECKCAST	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$D2F	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$D2I	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$D2L	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DADD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DALOAD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DASTORE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DCONST	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DDIV	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DMUL	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DNEG	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DREM	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DRETURN	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DSUB	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$F2D	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$F2I	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$F2L	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FADD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FALOAD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FASTORE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FCONST	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FDIV	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FMUL	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FNEG	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FREM	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FRETURN	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FSUB	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$GETFIELD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$GETSTATIC	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO_W	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2B	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2C	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2D	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2F	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2L	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2S	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IADD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IALOAD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IAND	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IASTORE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IDIV	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPEQ	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPNE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFEQ	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGT	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPEQ	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGT	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLT	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPNE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLT	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNONNULL	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNULL	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IMUL	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INEG	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INSTANCEOF	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEINTERFACE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESPECIAL	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESTATIC	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEVIRTUAL	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IOR	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IREM	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IRETURN	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHL	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHR	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ISUB	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IUSHR	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IXOR	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR_W	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$L2D	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$L2F	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$L2I	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LADD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LALOAD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LAND	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LASTORE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC2_W	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LDIV	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LMUL	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LNEG	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LOR	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LREM	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LRETURN	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHL	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHR	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LSUB	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LUSHR	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LXOR	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$MULTIANEWARRAY	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$NEW	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$PUSH	2
joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTFIELD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTSTATIC	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$RETURN	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$SALOAD	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$SASTORE	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$TABLESWITCH	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FieldInstruction	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FieldOrMethod	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$InvokeInstruction	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$Select	2
joeq.Compiler.BytecodeAnalysis.Bytecodes$jq_ReturnAddressType	1
joeq.Compiler.BytecodeAnalysis.Bytecodes$CodeException	1
joeq.Compiler.BytecodeAnalysis.ExceptionHandler	1
joeq.Compiler.BytecodeAnalysis.JSRInfo	1
joeq.Compiler.BytecodeAnalysis.CallTargets$MultipleCallTargets	1
joeq.Compiler.BytecodeAnalysis.CallTargets	7
joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$FirstPassVisitor	4
joeq.Compiler.Quad.Operand$FConstOperand	1
joeq.Compiler.Quad.Operand$DConstOperand	1
joeq.Compiler.Quad.Operand$IntValueTableOperand	1
joeq.Compiler.Quad.Operand$BasicBlockTableOperand	1
joeq.Compiler.Quad.Operand$ParamListOperand	1
joeq.Compiler.Quad.Operator$Binary$CMP_FL	1
joeq.Compiler.Quad.Operator$Binary$CMP_FG	1
joeq.Compiler.Quad.Operator$Binary$CMP_DL	1
joeq.Compiler.Quad.Operator$Binary$CMP_DG	1
joeq.Compiler.Quad.ControlFlowGraph	3
joeq.Compiler.Quad.JSRInfo	1
joeq.Compiler.Quad.BytecodeToQuad$jq_ReturnAddressType	1
joeq.Compiler.Quad.BytecodeToQuad	2
joeq.Compiler.Quad.CallGraph$2	1
joeq.Compiler.Quad.CallGraph	3
joeq.Compiler.Quad.AndersenPointerAnalysis	19
joeq.Compiler.Quad.CodeCache	5
joeq.Compiler.Quad.DotGraph$dot	1
joeq.Compiler.Quad.DotGraph	3
joeq.Compiler.Quad.FilteredCallGraph$PackageFilter	1
joeq.Compiler.Quad.LoadedCallGraph$1	1
joeq.Compiler.Quad.LoadedCallGraph$2	1
joeq.Compiler.Quad.LoadedCallGraph$3	1
joeq.Compiler.Quad.PointerExplorer$1	1
joeq.Compiler.Quad.PointerExplorer	14
joeq.Compiler.Dataflow.Fact	1
joeq.Compiler.Dataflow.BBComparator	1
joeq.Compiler.Dataflow.LivenessAnalysis	3
joeq.ClassLib.Common.InterfaceImpl	12
joeq.ClassLib.ibm13_linux.Interface$ibm13_linuxObjectTraverser	3
joeq.ClassLib.ibm13_win32.Interface$ibm13_win32ObjectTraverser	3
joeq.ClassLib.sun13_win32.Interface$sun13_win32ObjectTraverser	2
joeq.ClassLib.sun142_linux.Interface$sun142_linuxObjectTraverser	2
joeq.ClassLib.sun14_linux.Interface$sun14_linuxObjectTraverser	2
joeq.ClassLib.sun142_win32.Interface$sun142_win32ObjectTraverser	2
joeq.ClassLib.sun14_win32.Interface$sun14_win32ObjectTraverser	2
joeq.Util.Templates.UnmodifiableList$jq_Class$Iterator	1
joeq.Util.Templates.UnmodifiableList$jq_Class	1
joeq.Util.Templates.UnmodifiableList$RegisterOperand$Iterator	1
joeq.Util.Templates.UnmodifiableList$RegisterOperand	1
joeq.Util.Templates.UnmodifiableList$Operand$Iterator	1
joeq.Util.Templates.UnmodifiableList$Operand	1
joeq.Util.Templates.UnmodifiableList$BasicBlock$Iterator	1
joeq.Util.Templates.UnmodifiableList$BasicBlock	1
joeq.Util.Templates.UnmodifiableList$Quad$Iterator	1
joeq.Util.Templates.UnmodifiableList$Quad	1
joeq.Util.IO.SourceLister	5
joeq.Util.SyntheticGraphs.Graph	3
joeq.Util.SyntheticGraphs.TestGraph	2
joeq.Assembler.x86.x86	10
joeq.Assembler.x86.x86Assembler	2
joeq.Linker.ELF.Section$ProgBitsSectionImpl	1
joeq.Linker.ELF.Section$RelASection	1
joeq.Linker.ELF.Section$NoteSection	1
joeq.Linker.ELF.ELFRandomAccessFile	1
joeq.Linker.ELF.SymbolTableEntry	1
joeq.Compiler.Quad.IPA.Solver	1
joeq.Compiler.Quad.SSA.EnterSSA	6
joeq.Compiler.Quad.x86.SimpleCompiler	9
joeq.Compiler.Quad.x86.x86QuadExceptionDeliverer	2
joeq.Compiler.Analysis.BDD.BuildBDDIR	1
joeq.Compiler.Analysis.IPA.ProgramLocation$FakeProgramLocation	1
joeq.Compiler.Analysis.IPA.ProgramLocation$PlaceholderParameterProgramLocation	1
joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis	7
joeq.Compiler.Analysis.IPA.CollectionFinder	4
joeq.Compiler.Analysis.IPA.PA$ToString	2
joeq.Compiler.Analysis.IPA.PA$HeapPathSelector	1
joeq.Compiler.Analysis.IPA.PA$2	2
joeq.Compiler.Analysis.IPA.PA$3	2
joeq.Compiler.Analysis.IPA.PA	139
joeq.Compiler.Analysis.IPA.PAResults$1	2
joeq.Compiler.Analysis.IPA.PAResults	8
joeq.Compiler.Analysis.IPA.SubtypeHelper$OfflineSubtypeHelper	1
joeq.Compiler.Analysis.IPA.ExceptionAnalysis	2
joeq.Compiler.Analysis.IPA.ObjectNamingSupport	11
joeq.Compiler.Analysis.IPA.AnnotatedDirectedGraph	1
joeq.Compiler.Analysis.IPA.PACallGraph$BDDSet$1	1
joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1	5
joeq.Compiler.Analysis.IPA.PAProxy	41
joeq.Compiler.Analysis.IPA.PAQuery$ConstParameterFinder	1
joeq.Compiler.Analysis.IPA.PAQuery$HeapReferenceStat	1
joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider	16
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary	21
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node	2
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$UnknownTypeNode	1
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$State	1
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$NodeSet$1	1
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary	20
joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$NewInstanceTargets	2
joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$CribSheetReflectionInformationProvider	6
joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider	2
joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples$TupleSummary	2
joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples	21
joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Query$1	1
joeq.Compiler.Analysis.IPSSA.SSAProcInfo	4
joeq.Compiler.Analysis.IPSSA.SSAValue$Phi	1
joeq.Compiler.Analysis.IPSSA.SSAValue$Predicate	2
joeq.Compiler.Analysis.IPSSA.SSAValue$Predicated	1
joeq.Compiler.Analysis.IPSSA.SSAValue$FormalIn	1
joeq.Compiler.Analysis.IPSSA.SSAValue$ActualOut	1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage1Visitor	2
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder	1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$ApplicationLaunchingPad	1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder	3
joeq.Compiler.Analysis.IPSSA.LocalPointerResults	2
joeq.Compiler.Analysis.Primitive.PrimitiveGenRelations	2
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary	21
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node	2
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$ConcreteObjectNode	1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$UnknownTypeNode	1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$State	1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$NodeSet$1	1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary	18
joeq.Compiler.Analysis.Primitive.PrimitivePA$ToString	2
joeq.Compiler.Analysis.Primitive.PrimitivePA$HeapPathSelector	1
joeq.Compiler.Analysis.Primitive.PrimitivePA$2	2
joeq.Compiler.Analysis.Primitive.PrimitivePA$3	2
joeq.Compiler.Analysis.Primitive.PrimitivePA	138
joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper$OfflineSubtypeHelper	1
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$BDDSet$1	1
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1	5
joeq.Compiler.Reference.x86.x86ReferenceCompiler	10
joeq.Compiler.Reference.x86.x86ReferenceExceptionDeliverer	2
joeq.Compiler.Reference.x86.x86ReferenceLinker	2
joeq.Compiler.Analysis.IPSSA.Apps.FindBadStores	2
joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassComparator	3
joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy	2
joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations	4
joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership$SimpleOwnershipFinder$OwnershipValue	1
joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership$SimpleOwnershipFinder	1
joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp	1
joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec$PAObjectSpec	1
joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$SingleIterator	1
joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$EmptyIterator	1
joeq.Compiler.Analysis.IPSSA.Utils.ReachabilityTrace	1
joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$TestSimpleDominatorQuery	4
joeq.ClassLib.Common.java.io.FileDescriptor	1
joeq.ClassLib.Common.java.io.FileInputStream	9
joeq.ClassLib.Common.java.io.FileOutputStream	11
joeq.ClassLib.Common.java.io.FileSystem	1
joeq.ClassLib.Common.java.io.ObjectInputStream	7
joeq.ClassLib.Common.java.io.ObjectOutputStream	4
joeq.ClassLib.Common.java.io.ObjectStreamClass	3
joeq.ClassLib.Common.java.io.RandomAccessFile	12
joeq.ClassLib.Common.java.io.UnixFileSystem	3
joeq.ClassLib.Common.java.io.Win32FileSystem	3
joeq.ClassLib.Common.java.lang.Class	15
joeq.ClassLib.Common.java.lang.ClassLoader	10
joeq.ClassLib.Common.java.lang.Object	2
joeq.ClassLib.Common.java.lang.Package	2
joeq.ClassLib.Common.java.lang.Runtime	2
joeq.ClassLib.Common.java.lang.Shutdown	1
joeq.ClassLib.Common.java.lang.String	1
joeq.ClassLib.Common.java.lang.System	4
joeq.ClassLib.Common.java.lang.Thread	14
joeq.ClassLib.Common.java.lang.Throwable	1
joeq.ClassLib.Common.java.net.Inet4AddressImpl$hostent	5
joeq.ClassLib.Common.java.security.AccessController	1
joeq.ClassLib.Common.java.util.ResourceBundle	1
joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation	38
joeq.ClassLib.Common.java.util.TimeZone	3
joeq.ClassLib.Common.sun.misc.AtomicLong	1
joeq.ClassLib.apple13_osx.java.lang.Thread	3
joeq.ClassLib.ibm13_linux.java.lang.Class	2
joeq.ClassLib.ibm13_linux.java.lang.System	1
joeq.ClassLib.ibm13_win32.java.lang.Class	2
joeq.ClassLib.ibm13_win32.java.lang.System	1
joeq.ClassLib.pa.java.security.AccessController	1
joeq.ClassLib.sun13_linux.java.lang.System	1
joeq.ClassLib.sun13_win32.java.io.Win32FileSystem	1
joeq.ClassLib.sun13_win32.java.lang.System	1
joeq.ClassLib.sun14_linux.java.io.RandomAccessFile	4
joeq.ClassLib.sun14_linux.java.lang.Class	6
joeq.ClassLib.sun14_linux.java.lang.System	4
joeq.ClassLib.sun14_linux.java.lang.Thread	2
joeq.ClassLib.sun14_linux.java.lang.Throwable	1
joeq.ClassLib.sun14_win32.java.io.RandomAccessFile	4
joeq.ClassLib.sun14_win32.java.io.WinNTFileSystem	1
joeq.ClassLib.sun14_win32.java.lang.Class	6
joeq.ClassLib.sun14_win32.java.lang.System	4
joeq.ClassLib.sun14_win32.java.lang.Thread	2
joeq.ClassLib.sun14_win32.java.lang.Throwable	1
joeq.ClassLib.sun15_linux.java.lang.System	2
joeq.ClassLib.sun15_win32.java.lang.System	2
joeq.ClassLib.Common.java.lang.reflect.Array	2
joeq.ClassLib.Common.java.lang.reflect.Constructor	6
joeq.ClassLib.Common.java.lang.reflect.Field	5
joeq.ClassLib.Common.java.lang.reflect.Method	7
joeq.ClassLib.Common.java.lang.reflect.Proxy	1
joeq.ClassLib.Common.java.util.zip.Deflater	3
joeq.ClassLib.Common.java.util.zip.Inflater	4
joeq.ClassLib.Common.java.util.zip.ZipFile	5
joeq.ClassLib.Common.java.util.zip.ZipEntry	1
joeq.ClassLib.ibm13_linux.com.ibm.jvm.ExtendedSystem	3
joeq.ClassLib.ibm13_linux.java.lang.ref.Finalizer	1
joeq.ClassLib.ibm13_win32.java.lang.ref.Finalizer	1
joeq.Bootstrap.BootstrapCodeAddress	2
joeq.Bootstrap.BootstrapHeapAddress	2
joeq.Allocator.CircularAddressQueue	5
joeq.Allocator.CodeAllocator	1
joeq.Allocator.DefaultCodeAllocator	1
joeq.Allocator.SimpleAllocator	5
joeq.Class.jq_ClassFileConstants	5
joeq.Class.jq_Reference	1
joeq.Class.jq_ConstantPool	1
joeq.Class.Delegates	2
joeq.Compiler.CompilationState$StaticCompilation	1
joeq.Compiler.CompilationState	1
joeq.Memory.HeapAddress	1
joeq.Memory.CodeAddress	1
joeq.Memory.StackAddress	1
joeq.Runtime.Reflection	4
joeq.Runtime.MathSupport	4
joeq.Runtime.ExceptionDeliverer	1
joeq.Runtime.StackCodeWalker	1
joeq.Runtime.Monitor	2
joeq.Interpreter.BytecodeInterpreter	1
joeq.Main.Instrument	4
joeq.Scheduler.jq_Thread	2
joeq.Scheduler.jq_RegisterState	1
joeq.Scheduler.jq_InterrupterThread	3
joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionConstants	1
joeq.Compiler.BytecodeAnalysis.BytecodeVisitor	7
joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis	2
joeq.Compiler.BytecodeAnalysis.ModRefAnalysis	1
joeq.Compiler.BytecodeAnalysis.Trimmer	1
joeq.Compiler.Quad.Operator	1
joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor	1
joeq.Compiler.Quad.LoadedCallGraph	3
joeq.Compiler.Dataflow.ReachingDefs$RDVisitor	2
joeq.ClassLib.Common.InterfaceImpl$CommonObjectTraverser	1
joeq.ClassLib.apple13_osx.Interface$apple13_osxObjectTraverser	1
joeq.ClassLib.sun13_linux.Interface$sun13_linuxObjectTraverser	1
joeq.ClassLib.sun15_linux.Interface$sun15_linuxObjectTraverser	1
joeq.ClassLib.sun15_win32.Interface$sun15_win32ObjectTraverser	1
joeq.Util.Templates.ListWrapper$BasicBlock$EmptyIterator	1
joeq.Util.Templates.ListWrapper$Quad$EmptyIterator	1
joeq.Util.Templates.ListWrapper$ExceptionHandler$EmptyIterator	1
joeq.Compiler.Analysis.IPA.SubtypeHelper	1
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$GlobalNode	1
joeq.Compiler.Analysis.IPSSA.SSADefinition$Helper	3
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$GlobalNode	1
joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper	1
joeq.ClassLib.Common.java.net.Inet4AddressImpl	1
joeq.ClassLib.ibm13_linux.java.util.zip.ZipFile	1
joeq.ClassLib.ibm13_win32.java.util.zip.ZipFile	1
joeq.ClassLib.sun15_linux.java.lang.Runtime	1
joeq.Compiler.BytecodeAnalysis.BasicBlock	1
joeq.Compiler.Quad.Dominators	1
joeq.Allocator.RuntimeCodeAllocator$Runtimex86CodeBuffer	1
joeq.Class.PrimordialClassLoader$PathElement	1
joeq.Compiler.Analysis.IPA.ObjectCreationGraph	1
joeq.Compiler.Analysis.IPSSA.Apps.ResultCorrelation	1
joeq.Compiler.BytecodeAnalysis.ControlFlowGraph$BranchVisitor	1
joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$SecondPassVisitor	1
joeq.Compiler.Dataflow.ReachingDefs	3
joeq.Compiler.Quad.CachedCallGraph	1
joeq.Scheduler.jq_ThreadQueue	1
joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat	20
joeq.ClassLib.sun15_win32.java.io.FileDescriptor	6
joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis$LocalCallGraphNavigator	5
joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap	4
joeq.Compiler.Analysis.IPA.PAResults$HeapLocation$FACTORY	3
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap	4
joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1	2
joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1$1	1
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1	2
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1$1	1
joeq.Class.PrimordialClassLoader$PathElement$1	1
joeq.Class.PrimordialClassLoader$PathElement$2	1
joeq.Class.PrimordialClassLoader$PathElement$3	1
joeq.Class.PrimordialClassLoader$PathElement$4	1
joeq.Class.PrimordialClassLoader$ZipFileElement$1	1
joeq.ClassLib.Common.java.util.zip.DeflaterEngine	1
joeq.ClassLib.Common.java.util.zip.OutputWindow	2
joeq.ClassLib.pa.Interface$1	1
joeq.ClassLib.sun14_linux.java.io.FileDescriptor	1
joeq.ClassLib.sun14_linux.java.lang.StackTraceElement	4
joeq.ClassLib.sun14_win32.java.io.FileDescriptor	1
joeq.ClassLib.sun14_win32.java.lang.StackTraceElement	4
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node$1	1
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OperandToNodeMap	1
joeq.Compiler.Analysis.IPA.PA$Dummy	1
joeq.Compiler.Analysis.IPA.PACallGraph	1
joeq.Compiler.Analysis.IPA.PAQuery$ParamAliasFinder$ModifiableBoolean	1
joeq.Compiler.Analysis.IPA.ParameterAliasing$ParamAliasFinder$ModifiableBoolean	1
joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassHieraryNode	2
joeq.Compiler.Analysis.IPSSA.Apps.DeclarationDepth$DeclarationDepthComputation	1
joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations$ClassAndMethod	1
joeq.Compiler.Analysis.IPSSA.ContextSet$ContextLocationPair	1
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$ContextEdge	2
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EfficientDefinitionGraph	1
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EmptyEdge	1
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$IPEdge	1
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge	1
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge$TrueEdge	1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$Main	1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$LiftMergesVisitor	1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage2Visitor	1
joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Helper	1
joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Query$1MethodBindingIterator	1
joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$1	1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node$1	1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$OperandToNodeMap	1
joeq.Compiler.Analysis.Primitive.PrimitivePA$Dummy	1
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph	1
joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactState$LastUse	2
joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor$1	1
joeq.Compiler.Quad.BasicBlockVisitor$AllBasicBlockVisitor	1
joeq.Compiler.Quad.ControlFlowGraph$1	1
joeq.Compiler.Quad.DotGraph$FactoredEdge	1
joeq.Util.SyntheticGraphs.Graph$Edge	1
joeq.Runtime.SystemInterface$Library	2

joeq.Allocator.CodeAllocator$x86CodeBuffer

Violation	Line	Priority
Nm: The class name joeq.Allocator.CodeAllocator$x86CodeBuffer doesn't start with an upper case letter	-1	Normal

joeq.Allocator.HeapAllocator

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Class in joeq.Allocator.HeapAllocator.clsinitAndAllocateObject(joeq.Class.jq_Type)	138	Low
BC: Unchecked/unconfirmed cast from joeq.Memory.Address to class joeq.Memory.HeapAddress in joeq.Allocator.HeapAllocator.isValidObject(joeq.Memory.Address,int)	288	Low
BC: Unchecked/unconfirmed cast from joeq.Memory.Address to class joeq.Memory.HeapAddress in joeq.Allocator.HeapAllocator.isValidArray(joeq.Memory.Address,int)	328	Low
BC: Unchecked/unconfirmed cast from joeq.Memory.Address to class joeq.Memory.HeapAddress in joeq.Allocator.HeapAllocator.isValidReferenceType(joeq.Memory.Address)	482	Low
BC: Unchecked/unconfirmed cast from joeq.Memory.Address to class joeq.Memory.HeapAddress in joeq.Allocator.HeapAllocator.isValidArrayType(joeq.Memory.Address)	505	Low
MS: joeq.Allocator.HeapAllocator.data_segment_start isn't final and can't be protected from malicious code	-1	Normal
MS: joeq.Allocator.HeapAllocator.data_segment_end isn't final and can't be protected from malicious code	-1	Normal

joeq.Allocator.SemiConservative

Violation	Line	Priority
DLS: Dead store to ip in method joeq.Allocator.SemiConservative.scanThreadStack(joeq.Scheduler.jq_Thread)	156	Low

joeq.Class.NullDelegates$Klass

Violation	Line	Priority
REC: Method joeq.Class.NullDelegates$Klass.newInstance(jq_Class,int,Object) catches Exception, but Exception is not thrown in the try block and RuntimeException is not explicitly caught	47	Low

joeq.Class.jq_Member$FilterByName

Violation	Line	Priority
BC: instanceof will always return true in joeq.Class.jq_Member$FilterByName.isElement(Object), since all java.lang.String are instances of java.lang.CharSequence	305	Normal

joeq.Class.jq_Member$FilterByShortClassName

Violation	Line	Priority
BC: instanceof will always return true in joeq.Class.jq_Member$FilterByShortClassName.isElement(Object), since all java.lang.String are instances of java.lang.CharSequence	318	Normal

joeq.Class.jq_Member

Violation	Line	Priority
HE: joeq.Class.jq_Member defines hashCode and uses Object.equals()	-1	Low

joeq.Class.jq_Class$1

Violation	Line	Priority
Se: joeq.Class.jq_Class$1 implements Comparator but not Serializable	-1	Low
SIC: The class joeq.Class.jq_Class$1 could be refactored into a named _static_ inner class	-1	Low

joeq.Class.jq_Class

Violation	Line	Priority
HE: joeq.Class.jq_Class defines hashCode and uses Object.equals()	-1	Low
EI: joeq.Class.jq_Class.getDeclaredInterfaces() may expose internal representation by returning joeq.Class.jq_Class.declared_interfaces	166	Normal
EI: joeq.Class.jq_Class.getDeclaredInstanceFields() may expose internal representation by returning joeq.Class.jq_Class.declared_instance_fields	179	Normal
EI2: joeq.Class.jq_Class.setDeclaredInstanceFields(jq_InstanceField[]) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Class.declared_instance_fields	187	Normal
EI: joeq.Class.jq_Class.getDeclaredStaticFields() may expose internal representation by returning joeq.Class.jq_Class.static_fields	191	Normal
EI2: joeq.Class.jq_Class.setDeclaredStaticFields(jq_StaticField[]) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Class.static_fields	199	Normal
EI: joeq.Class.jq_Class.getDeclaredInstanceMethods() may expose internal representation by returning joeq.Class.jq_Class.declared_instance_methods	269	Normal
EI2: joeq.Class.jq_Class.setDeclaredInstanceMethods(jq_InstanceMethod[]) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Class.declared_instance_methods	277	Normal
EI: joeq.Class.jq_Class.getDeclaredStaticMethods() may expose internal representation by returning joeq.Class.jq_Class.static_methods	281	Normal
EI2: joeq.Class.jq_Class.setDeclaredStaticMethods(jq_StaticMethod[]) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Class.static_methods	289	Normal
EI: joeq.Class.jq_Class.getSubClasses() may expose internal representation by returning joeq.Class.jq_Class.subclasses	611	Normal
EI: joeq.Class.jq_Class.getSubInterfaces() may expose internal representation by returning joeq.Class.jq_Class.subinterfaces	615	Normal
EI: joeq.Class.jq_Class.getInterfaces() may expose internal representation by returning joeq.Class.jq_Class.interfaces	620	Normal
EI: joeq.Class.jq_Class.getInstanceFields() may expose internal representation by returning joeq.Class.jq_Class.instance_fields	649	Normal
EI: joeq.Class.jq_Class.getReferenceOffsets() may expose internal representation by returning joeq.Class.jq_Class.reference_offsets	653	Normal
EI: joeq.Class.jq_Class.getVirtualMethods() may expose internal representation by returning joeq.Class.jq_Class.virtual_methods	669	Normal
EI: joeq.Class.jq_Class.getStaticData() may expose internal representation by returning joeq.Class.jq_Class.static_data	682	Normal
PZLA: Should joeq.Class.jq_Class.getInnerClasses() return a zero length array rather than null?	607	Low
Nm: The field name joeq.Class.jq_Class.NumOfIFieldsKept doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Class.jq_Class.NumOfSFieldsKept doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Class.jq_Class.NumOfIMethodsKept doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Class.jq_Class.NumOfSMethodsKept doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Class.jq_Class.NumOfIFieldsEliminated doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Class.jq_Class.NumOfSFieldsEliminated doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Class.jq_Class.NumOfIMethodsEliminated doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Class.jq_Class.NumOfSMethodsEliminated doesn't start with an lower case letter	-1	Normal
UCF: Useless control flow in joeq.Class.jq_Class.dump(java.io.DataOutput)	2651	Normal
RI: Class joeq.Class.jq_Class implements same interface as superclass.	-1	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_Initializer in joeq.Class.jq_Class.getInitializer(jq_NameAndDesc)	373	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_StaticMethod to class joeq.Class.jq_ClassInitializer in joeq.Class.jq_Class.getClassInitializer()	377	Low
MS: joeq.Class.jq_Class.TRACE isn't final but should be	48	High
MS: joeq.Class.jq_Class.WARN_STALE_CLASS_FILES isn't final but should be	49	High
MS: joeq.Class.jq_Class.REPLACE_CLASS isn't final but should be	52	High
MS: joeq.Class.jq_Class.TRACE_REPLACE_CLASS isn't final but should be	53	High
MS: joeq.Class.jq_Class.classToReplace isn't final but should be	54	High
MS: joeq.Class.jq_Class.NumOfIFieldsKept isn't final and can't be protected from malicious code	2452	Normal
MS: joeq.Class.jq_Class.NumOfSFieldsKept isn't final and can't be protected from malicious code	2453	Normal
MS: joeq.Class.jq_Class.NumOfIMethodsKept isn't final and can't be protected from malicious code	2454	Normal
MS: joeq.Class.jq_Class.NumOfSMethodsKept isn't final and can't be protected from malicious code	2455	Normal
MS: joeq.Class.jq_Class.NumOfIFieldsEliminated isn't final and can't be protected from malicious code	2456	Normal
MS: joeq.Class.jq_Class.NumOfSFieldsEliminated isn't final and can't be protected from malicious code	2457	Normal
MS: joeq.Class.jq_Class.NumOfIMethodsEliminated isn't final and can't be protected from malicious code	2458	Normal
MS: joeq.Class.jq_Class.NumOfSMethodsEliminated isn't final and can't be protected from malicious code	2459	Normal
UwF: Field not initialized in constructor: joeq.Class.jq_Class.const_pool	-1	Low
UwF: Field not initialized in constructor: joeq.Class.jq_Class.super_class	-1	Low

joeq.Class.jq_Reference$jq_NullType

Violation	Line	Priority
PZLA: Should joeq.Class.jq_Reference$jq_NullType.getInterfaces() return a zero length array rather than null?	82	Low

joeq.Class.jq_Method

Violation	Line	Priority
EI2: joeq.Class.jq_Method.load(char,char,char,byte[],jq_TryCatchBC[],jq_LineNumberBC[],java.util.Map) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Method.bytecode	65	Normal
EI2: joeq.Class.jq_Method.load(char,char,char,byte[],jq_TryCatchBC[],jq_LineNumberBC[],java.util.Map) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Method.exception_table	66	Normal
EI2: joeq.Class.jq_Method.load(char,char,char,byte[],jq_TryCatchBC[],jq_LineNumberBC[],java.util.Map) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Method.line_num_table	67	Normal
EI: joeq.Class.jq_Method.getBytecode() may expose internal representation by returning joeq.Class.jq_Method.bytecode	350	Normal
EI: joeq.Class.jq_Method.getExceptionTable() may expose internal representation by returning joeq.Class.jq_Method.exception_table	355	Normal
EI: joeq.Class.jq_Method.getThrownExceptionsTable() may expose internal representation by returning joeq.Class.jq_Method.thrown_exceptions_table	359	Normal
EI: joeq.Class.jq_Method.getLineNumberTable() may expose internal representation by returning joeq.Class.jq_Method.line_num_table	381	Normal
EI: joeq.Class.jq_Method.getParamTypes() may expose internal representation by returning joeq.Class.jq_Method.param_types	382	Normal
Nm: Confusing to have methods joeq.Class.jq_Method.getBytecode() and joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionList.getByteCode()	349	Low

joeq.Class.jq_Array

Violation	Line	Priority
EI: joeq.Class.jq_Array.getInterfaces() may expose internal representation by returning joeq.Class.jq_Array.array_interfaces	68	Normal
RI: Class joeq.Class.jq_Array implements same interface as superclass.	-1	Low
MS: joeq.Class.jq_Array.TRACE isn't final but should be	19	High
MS: joeq.Class.jq_Array.array_interfaces is a mutable array	63	High
MS: joeq.Class.jq_Array.s_s_array_cache should be package protected	192	Normal
IS: Inconsistent synchronization of joeq.Class.jq_Array.vtable; locked 66% of time	51	Low

joeq.Class.jq_CompiledCode

Violation	Line	Priority
EI2: joeq.Class.jq_CompiledCode.<init>(jq_Method,joeq.Memory.CodeAddress,int,joeq.Memory.CodeAddress,jq_TryCatch[],jq_BytecodeMap,Object,int,java.util.List,java.util.List) may expose internal representation by storing an externally mutable object into joeq.Class.jq_CompiledCode.handlers	47	Normal
NP: Possible null pointer dereference in joeq.Class.jq_CompiledCode.equals(Object)	186	Normal
MS: joeq.Class.jq_CompiledCode.TRACE isn't final but should be	20	High
MS: joeq.Class.jq_CompiledCode.TRACE_REDIRECT isn't final but should be	21	High

joeq.Class.jq_BytecodeMap

Violation	Line	Priority
EI2: joeq.Class.jq_BytecodeMap.<init>(int[],int[]) may expose internal representation by storing an externally mutable object into joeq.Class.jq_BytecodeMap.offset	32	Normal
EI2: joeq.Class.jq_BytecodeMap.<init>(int[],int[]) may expose internal representation by storing an externally mutable object into joeq.Class.jq_BytecodeMap.bytecode_index	33	Normal

joeq.Class.PrimordialClassLoader$1

Violation	Line	Priority
It: joeq.Class.PrimordialClassLoader$1.next() can't throw NoSuchElement exception	292	Low

joeq.Class.PrimordialClassLoader

Violation	Line	Priority
DP: joeq.Class.PrimordialClassLoader.<clinit>() creates a joeq.Class.PrimordialClassLoader classloader, which should be performed within a doPrivileged block	451	Normal
Dm: Method joeq.Class.PrimordialClassLoader.addToClasspath(String) invokes dubious String.toUpperCase() or String.toLowerCase; use the Locale parameterized version instead	262	Low
EI: joeq.Class.PrimordialClassLoader.getAllTypes() may expose internal representation by returning joeq.Class.PrimordialClassLoader.allTypes	489	Normal
BC: Questionable cast from java.util.List to concrete class java.util.ArrayList in joeq.Class.PrimordialClassLoader.addToClasspath(String)	273	Low
MS: joeq.Class.PrimordialClassLoader.TRACE isn't final but should be	43	High

joeq.UTF.Utf8

Violation	Line	Priority
HE: joeq.UTF.Utf8 defines hashCode and uses Object.equals()	-1	Low
DLS: Dead store to $l7 in method joeq.UTF.Utf8.fromUtf8(byte[])	412	Low
DLS: Dead store to $l5 in method joeq.UTF.Utf8.checkUtf8(byte[])	513	Low
MS: joeq.UTF.Utf8.TRACE isn't final but should be	21	High
MS: joeq.UTF.Utf8.table should be package protected	27	Normal
MS: joeq.UTF.Utf8.size isn't final and can't be protected from malicious code	28	Normal
MS: joeq.UTF.Utf8.chains should be both final and package protected	29	Normal
MS: joeq.UTF.Utf8.NO_NEW isn't final and can't be protected from malicious code	282	Normal

joeq.ClassLib.ClassLibInterface

Violation	Line	Priority
UCF: Useless control flow in joeq.ClassLib.ClassLibInterface.<clinit>()	58	Normal
MS: joeq.ClassLib.ClassLibInterface.USE_JOEQ_CLASSLIB isn't final and can't be protected from malicious code	-1	Normal
MS: joeq.ClassLib.ClassLibInterface.TRACE isn't final but should be	138	High

joeq.Runtime.ObjectTraverser

Violation	Line	Priority
DP: joeq.Runtime.ObjectTraverser.getStaticFieldValue_reflection(java.lang.reflect.Field) invokes java.lang.reflect.Field.setAccessible(boolean), which should be invoked from within a doPrivileged block	78	Low
DP: joeq.Runtime.ObjectTraverser.getInstanceFieldValue_reflection(Object,java.lang.reflect.Field) invokes java.lang.reflect.Field.setAccessible(boolean), which should be invoked from within a doPrivileged block	110	Low
DP: joeq.Runtime.ObjectTraverser.putStaticFieldValue_reflection(java.lang.reflect.Field,Object) invokes java.lang.reflect.Field.setAccessible(boolean), which should be invoked from within a doPrivileged block	136	Low
DP: joeq.Runtime.ObjectTraverser.putInstanceFieldValue_reflection(Object,java.lang.reflect.Field,Object) invokes java.lang.reflect.Field.setAccessible(boolean), which should be invoked from within a doPrivileged block	156	Low
MS: joeq.Runtime.ObjectTraverser.TRACE isn't final but should be	31	High

joeq.Runtime.Arrays

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Array in joeq.Runtime.Arrays.multinewarray(char,joeq.Class.jq_Type)	41	Low

joeq.Runtime.BasicReflectionImpl

Violation	Line	Priority
ST: Write to static field joeq.Runtime.BasicReflectionImpl._class from instance method joeq.Runtime.BasicReflectionImpl.initialize()	587	Normal
ST: Write to static field joeq.Runtime.BasicReflectionImpl._declaredFieldsCache from instance method joeq.Runtime.BasicReflectionImpl.initialize()	588	Normal
UCF: Useless control flow in joeq.Runtime.BasicReflectionImpl.getJDKMember(joeq.Class.jq_Member)	257	Normal
UCF: Useless control flow in joeq.Runtime.BasicReflectionImpl.getJDKMember(joeq.Class.jq_Member)	270	Normal
UCF: Useless control flow in joeq.Runtime.BasicReflectionImpl.getJDKMember(joeq.Class.jq_Member)	287	Normal
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Reference in joeq.Runtime.BasicReflectionImpl.getJDKType(joeq.Class.jq_Type)	72	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Primitive in joeq.Runtime.BasicReflectionImpl.getJDKType(joeq.Class.jq_Type)	70	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_Initializer in joeq.Runtime.BasicReflectionImpl.getJQMember(java.lang.reflect.Constructor)	166	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Member to class joeq.Class.jq_Method in joeq.Runtime.BasicReflectionImpl.getJDKMember(joeq.Class.jq_Member)	278	Low
MS: joeq.Runtime.BasicReflectionImpl.REPORT_JDK_ERRORS isn't final but should be	40	High
MS: joeq.Runtime.BasicReflectionImpl._class should be package protected	-1	Normal
MS: joeq.Runtime.BasicReflectionImpl._declaredFieldsCache should be package protected	-1	Normal

joeq.Runtime.TypeCheck

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Array in joeq.Runtime.TypeCheck.isAssignable_noload(joeq.Class.jq_Type,joeq.Class.jq_Type)	157	Low

joeq.Runtime.SystemInterface

Violation	Line	Priority
PZLA: Should joeq.Runtime.SystemInterface.toCString(String) return a zero length array rather than null?	386	Low
MS: joeq.Runtime.SystemInterface.open_library_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.get_proc_address_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.close_library_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.debugwrite_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.debugwwrite_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.debugwriteln_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.debugwwriteln_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.syscalloc_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.sysfree_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.die_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.currentTimeMillis_0 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.mem_cpy_12 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.mem_set_12 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.file_open_12 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.file_stat_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.file_readbytes_12 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.file_writebyte_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.file_writebytes_12 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.file_sync_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.file_seek_16 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.file_close_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.console_available_0 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.main_argc_0 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.main_argv_length_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.main_argv_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_getdcwd_12 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_fullpath_12 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_gettruename_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_getfileattributes_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_access_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_getfiletime_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_stat_size_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_remove_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_opendir_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_readdir_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_closedir_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_mkdir_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_rename_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_chmod_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_setfiletime_12 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.fs_getlogicaldrives_0 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.yield_0 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.msleep_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.create_thread_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.init_thread_0 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.resume_thread_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.suspend_thread_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.set_thread_priority_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.allocate_stack_4 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.get_current_thread_handle_0 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.get_thread_context_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.set_thread_context_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.set_current_context_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.set_interval_timer_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.init_semaphore_0 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.wait_for_single_object_8 isn't final but should be	-1	High
MS: joeq.Runtime.SystemInterface.release_semaphore_8 isn't final but should be	-1	High

joeq.Runtime.HighResolutionTimer

Violation	Line	Priority
Nm: The field name joeq.Runtime.HighResolutionTimer.QueryPerformanceFrequency doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Runtime.HighResolutionTimer.QueryPerformanceCounter doesn't start with an lower case letter	-1	Low
UCF: Useless control flow in joeq.Runtime.HighResolutionTimer.query_performance_frequency()	72	Normal
UCF: Useless control flow in joeq.Runtime.HighResolutionTimer.query_performance_counter()	89	Normal
UCF: Useless control flow in joeq.Runtime.HighResolutionTimer.get_time_of_day()	107	Normal

joeq.Runtime.ReflectionImpl

Violation	Line	Priority
ST: Write to static field joeq.Runtime.ReflectionImpl._class from instance method joeq.Runtime.ReflectionImpl.initialize()	1001	Normal
ST: Write to static field joeq.Runtime.ReflectionImpl._declaredFieldsCache from instance method joeq.Runtime.ReflectionImpl.initialize()	1002	Normal
ST: Write to static field joeq.Runtime.ReflectionImpl._declaredMethodsCache from instance method joeq.Runtime.ReflectionImpl.initialize()	1003	Normal
UCF: Useless control flow in joeq.Runtime.ReflectionImpl.getJDKMember(joeq.Class.jq_Member)	285	Normal
UCF: Useless control flow in joeq.Runtime.ReflectionImpl.getJDKMember(joeq.Class.jq_Member)	298	Normal
UCF: Useless control flow in joeq.Runtime.ReflectionImpl.getJDKMember(joeq.Class.jq_Member)	315	Normal
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Primitive in joeq.Runtime.ReflectionImpl.getJDKType(joeq.Class.jq_Type)	78	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Reference in joeq.Runtime.ReflectionImpl.getJDKType(joeq.Class.jq_Type)	80	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_Initializer in joeq.Runtime.ReflectionImpl.getJQMember(java.lang.reflect.Constructor)	177	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Member to class joeq.Class.jq_Method in joeq.Runtime.ReflectionImpl.getJDKMember(joeq.Class.jq_Member)	306	Low
MS: joeq.Runtime.ReflectionImpl.REPORT_JDK_ERRORS isn't final but should be	43	High
MS: joeq.Runtime.ReflectionImpl._class should be package protected	-1	Normal
MS: joeq.Runtime.ReflectionImpl._declaredFieldsCache should be package protected	-1	Normal
MS: joeq.Runtime.ReflectionImpl._declaredMethodsCache should be package protected	-1	Normal

joeq.Interpreter.QuadInterpreter

Violation	Line	Priority
DP: joeq.Interpreter.QuadInterpreter.invokeInstanceReflective(joeq.Class.jq_InstanceMethod,joeq.Compiler.Quad.Operand$ParamListOperand) invokes java.lang.reflect.Method.setAccessible(boolean), which should be invoked from within a doPrivileged block	137	Low
DP: joeq.Interpreter.QuadInterpreter.invokeStaticReflective(joeq.Class.jq_StaticMethod,joeq.Compiler.Quad.Operand$ParamListOperand) invokes java.lang.reflect.Method.setAccessible(boolean), which should be invoked from within a doPrivileged block	172	Low
DLS: Dead store to m2 in method joeq.Interpreter.QuadInterpreter.<clinit>()	193	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_InstanceMethod in joeq.Interpreter.QuadInterpreter.invokeReflective(joeq.Class.jq_Method,joeq.Compiler.Quad.Operand$ParamListOperand)	91	Low
MS: joeq.Interpreter.QuadInterpreter.TRACE isn't final but should be	64	High
MS: joeq.Interpreter.QuadInterpreter.num_quads should be package protected	66	Normal
MS: joeq.Interpreter.QuadInterpreter.num_nullchecks should be package protected	67	Normal
MS: joeq.Interpreter.QuadInterpreter.interpret_filter isn't final but should be	199	High
UwF: Field not initialized in constructor: joeq.Interpreter.QuadInterpreter.cfg	-1	Low
UwF: Field not initialized in constructor: joeq.Interpreter.QuadInterpreter.current_bb	-1	Low
UwF: Field not initialized in constructor: joeq.Interpreter.QuadInterpreter.current_quad	-1	Low
UwF: Field not initialized in constructor: joeq.Interpreter.QuadInterpreter.rf	-1	Low

joeq.Interpreter.BytecodeInterpreter$MethodInterpreter

Violation	Line	Priority
Dm: Method joeq.Interpreter.BytecodeInterpreter$MethodInterpreter.<init>(BytecodeInterpreter,joeq.Class.jq_Method) invokes toString() method on a String; just use the String	104	Normal
FE: Test for floating point equality in joeq.Interpreter.BytecodeInterpreter$MethodInterpreter.visitFCMP2(byte).	682	Low
FE: Test for floating point equality in joeq.Interpreter.BytecodeInterpreter$MethodInterpreter.visitDCMP2(byte).	693	Low

joeq.Interpreter.ReflectiveInterpreter$ReflectiveState

Violation	Line	Priority
EI2: joeq.Interpreter.ReflectiveInterpreter$ReflectiveState.<init>(Object[]) may expose internal representation by storing an externally mutable object into joeq.Interpreter.ReflectiveInterpreter$ReflectiveState.stack	242	Normal
UwF: Field not initialized in constructor: joeq.Interpreter.ReflectiveInterpreter$ReflectiveState.result	-1	Low

joeq.Interpreter.ReflectiveInterpreter$ReflectiveVMInterface

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Class in joeq.Interpreter.ReflectiveInterpreter$ReflectiveVMInterface.new_obj(joeq.Class.jq_Type)	314	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Array in joeq.Interpreter.ReflectiveInterpreter$ReflectiveVMInterface.new_array(joeq.Class.jq_Type,int)	318	Low
Nm: Confusing to have methods joeq.Interpreter.ReflectiveInterpreter$ReflectiveVMInterface.monitorexit(Object) and joeq.ClassLib.Common.sun.misc.Unsafe.monitorExit(Object)	349	Low

joeq.Interpreter.ReflectiveInterpreter

Violation	Line	Priority
DP: joeq.Interpreter.ReflectiveInterpreter.invokeReflective(joeq.Class.jq_Method) invokes java.lang.reflect.Method.setAccessible(boolean), which should be invoked from within a doPrivileged block	75	Low

joeq.Interpreter.DirectInterpreter$DirectVMInterface

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Class in joeq.Interpreter.DirectInterpreter$DirectVMInterface.new_obj(joeq.Class.jq_Type)	479	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Array in joeq.Interpreter.DirectInterpreter$DirectVMInterface.new_array(joeq.Class.jq_Type,int)	480	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Array in joeq.Interpreter.DirectInterpreter$DirectVMInterface.multinewarray(int[],joeq.Class.jq_Type)	489	Low

joeq.Util.DescriptorUtil

Violation	Line	Priority
PZLA: Should joeq.Util.DescriptorUtil.getParameters(String) return a zero length array rather than null?	121	Low
SBSC: Method joeq.Util.DescriptorUtil.jvmFormatToJavaFormat(String,int,StringBuffer) concatenates strings using + in a loop	166	Normal
DLS: Dead store to stringbuffer in method joeq.Util.DescriptorUtil.jvmFormatToJavaFormat(String,int,StringBuffer)	217	Normal

joeq.Main.ClassDump

Violation	Line	Priority
UCF: Useless control flow in joeq.Main.ClassDump.dumpClass(java.io.PrintStream,joeq.Class.jq_Class)	191	Normal
UCF: Useless control flow in joeq.Main.ClassDump.dumpClass(java.io.PrintStream,joeq.Class.jq_Class)	193	Normal
DMI: Invocation of toString on an array in joeq.Main.ClassDump.dumpClass(java.io.PrintStream,joeq.Class.jq_Class)	143	Normal
DMI: Invocation of toString on an array in joeq.Main.ClassDump.dumpClass(java.io.PrintStream,joeq.Class.jq_Class)	158	Normal
DMI: Invocation of toString on an array in joeq.Main.ClassDump.dumpClass(java.io.PrintStream,joeq.Class.jq_Class)	171	Normal

joeq.Main.ClasspathWalker

Violation	Line	Priority
Dm: joeq.Main.ClasspathWalker.processPackages() forces garbage collection; extremely dubious except in benchmarking code	99	High
Dm: joeq.Main.ClasspathWalker.addToClassPath(String) invokes System.exit(...), which shuts down the entire virtual machine	211	Low
OS: joeq.Main.ClasspathWalker.addToClassPath(String) may fail to close stream on exception	199	Low
ITA: Method joeq.Main.ClasspathWalker.loadPackages(String,boolean) uses Collection.toArray() with zero-length array argument	190	Low
UwF: Field not initialized in constructor: joeq.Main.ClasspathWalker.pw	-1	Low

joeq.Main.ClassName

Violation	Line	Priority
REC: Method joeq.Main.ClassName.main(String[]) catches Exception, but Exception is not thrown in the try block and RuntimeException is not explicitly caught	45	Low

joeq.Main.Driver$1

Violation	Line	Priority
Se: joeq.Main.Driver$1 implements Comparator but not Serializable	-1	Low

joeq.Main.Driver

Violation	Line	Priority
DP: joeq.Main.Driver.processCommand(String[],int,jwutil.console.SimpleInterpreter) invokes java.lang.reflect.Field.setAccessible(boolean), which should be invoked from within a doPrivileged block	261	Low
Dm: joeq.Main.Driver.processCommand(String[],int,jwutil.console.SimpleInterpreter) invokes System.exit(...), which shuts down the entire virtual machine	429	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Array in joeq.Main.Driver.parseArg(Object[],int,joeq.Class.jq_Type,String[],int)	522	Low
MS: joeq.Main.Driver.classesToProcess isn't final but should be	88	High
MS: joeq.Main.Driver.ignore_linkage_errors isn't final but should be	95	Normal

joeq.Main.GenRelations

Violation	Line	Priority
DP: joeq.Main.GenRelations.addBDDLibraryToClasspath(String[]) creates a jwutil.classloader.HijackingClassLoader classloader, which should be performed within a doPrivileged block	51	Normal
Dm: joeq.Main.GenRelations.addBDDLibraryToClasspath(String[]) invokes System.exit(...), which shuts down the entire virtual machine	40	Low

joeq.Main.GenerateWebRoots

Violation	Line	Priority
BIT: Incompatible bit masks yield a constant result in joeq.Main.GenerateWebRoots.hasMethod(String,String,boolean)	147	Normal

joeq.Main.Helper

Violation	Line	Priority
Dm: joeq.Main.Helper.addToClassPath(String) invokes System.exit(...), which shuts down the entire virtual machine	94	Low
OS: joeq.Main.Helper.addToClassPath(String) may fail to close stream on exception	82	Low
ITA: Method joeq.Main.Helper.loadPackages(String,boolean) uses Collection.toArray() with zero-length array argument	73	Low

joeq.Main.Instrument$ClassVisitor$MethodVisitor

Violation	Line	Priority
ST: Write to static field joeq.Main.Instrument.il from instance method joeq.Main.Instrument$ClassVisitor$MethodVisitor.visitMethod(joeq.Class.jq_Method)	183	Low

joeq.Main.Instrument$ClassVisitor

Violation	Line	Priority
ST: Write to static field joeq.Main.Instrument.method from instance method joeq.Main.Instrument$ClassVisitor.visitClass(joeq.Class.jq_Class)	134	Normal
UwF: Field not initialized in constructor: joeq.Main.Instrument$ClassVisitor.cpa	-1	Low
UwF: Field not initialized in constructor: joeq.Main.Instrument$ClassVisitor.map	-1	Low

joeq.Main.TraceFlags

Violation	Line	Priority
DP: joeq.Main.TraceFlags.setTraceFlag(String[],int) invokes java.lang.reflect.Field.setAccessible(boolean), which should be invoked from within a doPrivileged block	198	Low
REC: Method joeq.Main.TraceFlags.addReflect(String,String,Object) catches Exception, but Exception is not thrown in the try block and RuntimeException is not explicitly caught	300	Normal
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Array in joeq.Main.TraceFlags.parseArg(Object[],int,joeq.Class.jq_Type,String[],int)	241	Low

joeq.Main.jq

Violation	Line	Priority
Nm: The class name joeq.Main.jq doesn't start with an upper case letter	-1	Normal
Nm: The field name joeq.Main.jq.NumOfNativeThreads doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Main.jq.RunningNative doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Main.jq.DontCompile doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Main.jq.IsBootstrapping doesn't start with an lower case letter	-1	Normal
MS: joeq.Main.jq.NumOfNativeThreads should be package protected	340	Normal
MS: joeq.Main.jq.RunningNative isn't final but should be	121	Normal
MS: joeq.Main.jq.DontCompile isn't final and can't be protected from malicious code	352	Normal
MS: joeq.Main.jq.IsBootstrapping isn't final and can't be protected from malicious code	58	Normal
MS: joeq.Main.jq.on_vm_startup isn't final and can't be protected from malicious code	122	Normal
MS: joeq.Main.jq.nullVM isn't final but should be	72	Normal
MS: joeq.Main.jq.SMP isn't final but should be	371	High

joeq.Main.Bootstrapper

Violation	Line	Priority
Dm: joeq.Main.Bootstrapper.err(String) invokes System.exit(...), which shuts down the entire virtual machine	641	Low

joeq.Scheduler.jq_NativeThread

Violation	Line	Priority
Dm: Method joeq.Scheduler.jq_NativeThread.<init>(int) creates a thread using the default empty run method	191	Low
Dm: Method joeq.Scheduler.jq_NativeThread.initBreakThread() creates a thread using the default empty run method	713	Low
MS: joeq.Scheduler.jq_NativeThread.TRACE isn't final but should be	43	High
MS: joeq.Scheduler.jq_NativeThread.CHECK isn't final but should be	44	High
MS: joeq.Scheduler.jq_NativeThread.native_threads is a mutable array	-1	High
MS: joeq.Scheduler.jq_NativeThread.USE_INTERRUPTER_THREAD isn't final and can't be protected from malicious code	310	Normal
MS: joeq.Scheduler.jq_NativeThread.TRANSFER_THRESHOLD isn't final and can't be protected from malicious code	545	Normal
MS: joeq.Scheduler.jq_NativeThread.DISTRIBUTION should be package protected	581	Normal
UwF: Field not initialized in constructor: joeq.Scheduler.jq_NativeThread.break_nthread	-1	Low
UwF: Field not initialized in constructor: joeq.Scheduler.jq_NativeThread.original_ebp	-1	Low
UwF: Field not initialized in constructor: joeq.Scheduler.jq_NativeThread.original_esp	-1	Low

joeq.Scheduler.jq_ThreadQueue$1

Violation	Line	Priority
It: joeq.Scheduler.jq_ThreadQueue$1.next() can't throw NoSuchElement exception	99	Normal
SIC: The class joeq.Scheduler.jq_ThreadQueue$1 could be refactored into a named _static_ inner class	-1	Low

joeq.Scheduler.jq_MainThread

Violation	Line	Priority
Dm: joeq.Scheduler.jq_MainThread.run() invokes System.exit(...), which shuts down the entire virtual machine	29	Normal

joeq.Scheduler.jq_x86RegisterState

Violation	Line	Priority
Nm: The field name joeq.Scheduler.jq_x86RegisterState.ContextFlags doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr0 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr1 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr2 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr3 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr6 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr7 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.ControlWord doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.StatusWord doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.TagWord doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.ErrorOffset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.ErrorSelector doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.DataOffset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.DataSelector doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Cr0NpxState doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegGs doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegFs doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegEs doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegDs doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Edi doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Esi doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Ebx doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Edx doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Ecx doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Eax doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Ebp doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Eip doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegCs doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Esp doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegSs doesn't start with an lower case letter	-1	Low
UrF: Unread field: joeq.Scheduler.jq_x86RegisterState.ContextFlags	-1	Normal
UrF: Unread field: joeq.Scheduler.jq_x86RegisterState.ControlWord	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Cr0NpxState	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.DataOffset	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.DataSelector	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr0	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr1	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr2	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr3	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr6	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr7	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.EFlags	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Eax	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Ebx	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Ecx	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Edi	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Edx	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.ErrorOffset	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.ErrorSelector	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Esi	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegCs	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegDs	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegEs	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegFs	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegGs	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegSs	-1	Normal
UrF: Unread field: joeq.Scheduler.jq_x86RegisterState.StatusWord	-1	Normal
UrF: Unread field: joeq.Scheduler.jq_x86RegisterState.TagWord	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp0_H	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp0_L	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp1_H	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp1_L	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp2_H	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp2_L	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp3_H	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp3_L	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp4_H	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp4_L	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp5_H	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp5_L	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp6_H	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp6_L	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp7_H	-1	Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp7_L	-1	Normal

joeq.Bootstrap.BootstrapCodeAllocator

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Memory.Address to class joeq.Memory.CodeAddress in joeq.Bootstrap.BootstrapCodeAllocator.patchAbsolute(joeq.Memory.Address,joeq.Memory.Address)	108	Low
UwF: Field not initialized in constructor: joeq.Bootstrap.BootstrapCodeAllocator.bundles	-1	Low

joeq.Bootstrap.SinglePassBootImage$TextSection

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Linker.ELF.ELF to class joeq.Linker.ELF.ELFOutput in joeq.Bootstrap.SinglePassBootImage$TextSection.writeData(joeq.Linker.ELF.ELF)	1523	Low

joeq.Bootstrap.SinglePassBootImage$DataSection

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Linker.ELF.ELF to class joeq.Linker.ELF.ELFOutput in joeq.Bootstrap.SinglePassBootImage$DataSection.writeData(joeq.Linker.ELF.ELF)	1539	Low

joeq.Bootstrap.SinglePassBootImage

Violation	Line	Priority
Dm: Method joeq.Bootstrap.SinglePassBootImage.invokeclinit(joeq.Class.jq_Class) invokes toString() method on a String; just use the String	143	Normal
Dm: Method joeq.Bootstrap.SinglePassBootImage.mungeMemberName(joeq.Class.jq_Member) invokes toString() method on a String; just use the String	1308	Normal
DLS: Dead store to numOfVTableRelocs in method joeq.Bootstrap.SinglePassBootImage.dumpELF(java.nio.channels.FileChannel,joeq.Class.jq_StaticMethod)	1403	Low
REC: Method joeq.Bootstrap.SinglePassBootImage.getOrAllocateObject(Object) catches Exception, but Exception is not thrown in the try block and RuntimeException is not explicitly caught	219	Low
MS: joeq.Bootstrap.SinglePassBootImage.MAX_HEAP isn't final but should be	72	High
MS: joeq.Bootstrap.SinglePassBootImage.TRACE isn't final but should be	82	High
MS: joeq.Bootstrap.SinglePassBootImage.IGNORE_UNKNOWN_OBJECTS isn't final but should be	231	High
MS: joeq.Bootstrap.SinglePassBootImage.UPDATE_PERIOD isn't final but should be	568	High
MS: joeq.Bootstrap.SinglePassBootImage.USE_MICROSOFT_STYLE_MUNGE isn't final and can't be protected from malicious code	784	Normal

joeq.Bootstrap.BootstrapRootSet

Violation	Line	Priority
Nm: The field name joeq.Bootstrap.BootstrapRootSet.AddAllFields doesn't start with an lower case letter	-1	Normal
QF: Complicated, subtle or wrong increment in for-loop joeq.Bootstrap.BootstrapRootSet.trimClass(joeq.Class.jq_Class)	510	Normal
QF: Complicated, subtle or wrong increment in for-loop joeq.Bootstrap.BootstrapRootSet.trimClass(joeq.Class.jq_Class)	531	Normal
QF: Complicated, subtle or wrong increment in for-loop joeq.Bootstrap.BootstrapRootSet.trimClass(joeq.Class.jq_Class)	554	Normal
QF: Complicated, subtle or wrong increment in for-loop joeq.Bootstrap.BootstrapRootSet.trimClass(joeq.Class.jq_Class)	574	Normal
MS: joeq.Bootstrap.BootstrapRootSet.TRACE isn't final but should be	48	High

joeq.Bootstrap.MethodInvocation

Violation	Line	Priority
EI2: joeq.Bootstrap.MethodInvocation.<init>(joeq.Class.jq_Method,Object[]) may expose internal representation by storing an externally mutable object into joeq.Bootstrap.MethodInvocation.args	23	Normal

joeq.Bootstrap.MultiPassBootImage

Violation	Line	Priority
Dm: Method joeq.Bootstrap.MultiPassBootImage.invokeclinit(joeq.Class.jq_Class) invokes toString() method on a String; just use the String	118	Normal
Dm: Method joeq.Bootstrap.MultiPassBootImage.mungeMemberName(joeq.Class.jq_Member) invokes toString() method on a String; just use the String	1246	Normal
DLS: Dead store to numOfVTableRelocs in method joeq.Bootstrap.MultiPassBootImage.dumpELF(jwutil.io.ExtendedDataOutput,joeq.Class.jq_StaticMethod)	1326	Low
REC: Method joeq.Bootstrap.MultiPassBootImage.getOrAllocateObject(Object) catches Exception, but Exception is not thrown in the try block and RuntimeException is not explicitly caught	170	Low
MS: joeq.Bootstrap.MultiPassBootImage.TRACE isn't final but should be	65	High
MS: joeq.Bootstrap.MultiPassBootImage.IGNORE_UNKNOWN_OBJECTS isn't final but should be	182	High
MS: joeq.Bootstrap.MultiPassBootImage.UPDATE_PERIOD isn't final but should be	279	High
MS: joeq.Bootstrap.MultiPassBootImage.USE_MICROSOFT_STYLE_MUNGE isn't final but should be	506	High

joeq.Debugger.OnlineDebugger

Violation	Line	Priority
DE: joeq.Debugger.OnlineDebugger.debuggerEntryPoint() might ignore java.io.IOException	74	Normal
Dm: joeq.Debugger.OnlineDebugger.debuggerEntryPoint() invokes System.exit(...), which shuts down the entire virtual machine	48	Low
MS: joeq.Debugger.OnlineDebugger.in isn't final but should be	41	High

joeq.Synchronization.Atomic

Violation	Line	Priority
DP: joeq.Synchronization.Atomic.cas4(Object,joeq.Class.jq_InstanceField,int,int) invokes java.lang.reflect.Field.setAccessible(boolean), which should be invoked from within a doPrivileged block	23	Low
DP: joeq.Synchronization.Atomic.cas8(Object,joeq.Class.jq_InstanceField,long,long) invokes java.lang.reflect.Field.setAccessible(boolean), which should be invoked from within a doPrivileged block	46	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$Instruction

Violation	Line	Priority
Dm: Method joeq.Compiler.BytecodeAnalysis.Bytecodes$Instruction.className(short) invokes dubious String.toUpperCase() or String.toLowerCase; use the Locale parameterized version instead	184	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionList

Violation	Line	Priority
EI: joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionList.getInstructionPositions() may expose internal representation by returning joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionList.byte_positions	1610	Normal
PZLA: Should joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionList.getByteCode() return a zero length array rather than null?	1446	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$AALOAD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$AALOAD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$AASTORE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$AASTORE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ALOAD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ALOAD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ANEWARRAY

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ANEWARRAY implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ARETURN

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ARETURN implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$BALOAD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$BALOAD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$BASTORE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$BASTORE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$CALOAD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$CALOAD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$CASTORE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$CASTORE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$CHECKCAST

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$CHECKCAST implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$D2F

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$D2F implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$D2I

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$D2I implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$D2L

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$D2L implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DADD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DADD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DALOAD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DALOAD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DASTORE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DASTORE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DCONST

Violation	Line	Priority
FE: Test for floating point equality in joeq.Compiler.BytecodeAnalysis.Bytecodes$DCONST.<init>(double).	2725	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DDIV

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DDIV implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DMUL

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DMUL implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DNEG

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DNEG implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DREM

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DREM implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DRETURN

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DRETURN implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DSUB

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DSUB implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$F2D

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$F2D implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$F2I

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$F2I implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$F2L

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$F2L implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FADD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FADD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FALOAD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FALOAD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FASTORE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FASTORE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FCONST

Violation	Line	Priority
FE: Test for floating point equality in joeq.Compiler.BytecodeAnalysis.Bytecodes$FCONST.<init>(float).	3416	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FDIV

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FDIV implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FMUL

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FMUL implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FNEG

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FNEG implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FREM

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FREM implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FRETURN

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FRETURN implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FSUB

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FSUB implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$GETFIELD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$GETFIELD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$GETSTATIC

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$GETSTATIC implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO_W

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO_W implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2B

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2B implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2C

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2C implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2D

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2D implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2F

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2F implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2L

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2L implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2S

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2S implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IADD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IADD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IALOAD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IALOAD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IAND

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IAND implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IASTORE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IASTORE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IDIV

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IDIV implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPEQ

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPEQ implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPNE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPNE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFEQ

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFEQ implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGT

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGT implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPEQ

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPEQ implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGT

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGT implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLT

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLT implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPNE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPNE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLT

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLT implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNONNULL

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNONNULL implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNULL

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNULL implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IMUL

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IMUL implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INEG

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INEG implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INSTANCEOF

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INSTANCEOF implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEINTERFACE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEINTERFACE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESPECIAL

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESPECIAL implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESTATIC

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESTATIC implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEVIRTUAL

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEVIRTUAL implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IOR

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IOR implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IREM

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IREM implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IRETURN

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IRETURN implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHL

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHL implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHR

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHR implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ISUB

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ISUB implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IUSHR

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IUSHR implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IXOR

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IXOR implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR_W

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR_W implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$L2D

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$L2D implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$L2F

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$L2F implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$L2I

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$L2I implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LADD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LADD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LALOAD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LALOAD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LAND

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LAND implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LASTORE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LASTORE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC2_W

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC2_W implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LDIV

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LDIV implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LMUL

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LMUL implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LNEG

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LNEG implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LOR

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LOR implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LREM

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LREM implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LRETURN

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LRETURN implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHL

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHL implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHR

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHR implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LSUB

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LSUB implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LUSHR

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LUSHR implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LXOR

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LXOR implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$MULTIANEWARRAY

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$MULTIANEWARRAY implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$NEW

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$NEW implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$PUSH

Violation	Line	Priority
FE: Test for floating point equality in joeq.Compiler.BytecodeAnalysis.Bytecodes$PUSH.<init>(float).	7222	Low
FE: Test for floating point equality in joeq.Compiler.BytecodeAnalysis.Bytecodes$PUSH.<init>(double).	7254	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTFIELD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTFIELD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTSTATIC

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTSTATIC implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$RETURN

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$RETURN implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$SALOAD

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$SALOAD implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$SASTORE

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$SASTORE implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$TABLESWITCH

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$TABLESWITCH implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FieldInstruction

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FieldInstruction implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FieldOrMethod

Violation	Line	Priority
Dm: Method joeq.Compiler.BytecodeAnalysis.Bytecodes$FieldOrMethod.getClassName() invokes toString() method on a String; just use the String	8466	Normal

joeq.Compiler.BytecodeAnalysis.Bytecodes$InvokeInstruction

Violation	Line	Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$InvokeInstruction implements same interface as superclass.	-1	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$Select

Violation	Line	Priority
EI: joeq.Compiler.BytecodeAnalysis.Bytecodes$Select.getMatchs() may expose internal representation by returning joeq.Compiler.BytecodeAnalysis.Bytecodes$Select.match	9074	Normal
EI: joeq.Compiler.BytecodeAnalysis.Bytecodes$Select.getIndices() may expose internal representation by returning joeq.Compiler.BytecodeAnalysis.Bytecodes$Select.indices	9079	Normal

joeq.Compiler.BytecodeAnalysis.Bytecodes$jq_ReturnAddressType

Violation	Line	Priority
PZLA: Should joeq.Compiler.BytecodeAnalysis.Bytecodes$jq_ReturnAddressType.getInterfaces() return a zero length array rather than null?	9184	Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$CodeException

Violation	Line	Priority
Nm: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$CodeException is not derived from an Exception, even though it is named as such	-1	Normal

joeq.Compiler.BytecodeAnalysis.ExceptionHandler

Violation	Line	Priority
EI: joeq.Compiler.BytecodeAnalysis.ExceptionHandler.getHandledBlocks() may expose internal representation by returning joeq.Compiler.BytecodeAnalysis.ExceptionHandler.handledBlocks	30	Normal

joeq.Compiler.BytecodeAnalysis.JSRInfo

Violation	Line	Priority
EI2: joeq.Compiler.BytecodeAnalysis.JSRInfo.<init>(BasicBlock,BasicBlock,boolean[]) may expose internal representation by storing an externally mutable object into joeq.Compiler.BytecodeAnalysis.JSRInfo.changedLocals	21	Normal

joeq.Compiler.BytecodeAnalysis.CallTargets$MultipleCallTargets

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Compiler.BytecodeAnalysis.CallTargets to class joeq.Compiler.BytecodeAnalysis.CallTargets$MultipleCallTargets in joeq.Compiler.BytecodeAnalysis.CallTargets$MultipleCallTargets.union(CallTargets)	576	Low

joeq.Compiler.BytecodeAnalysis.CallTargets

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_StaticMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,java.util.Set,boolean,boolean)	41	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_InstanceMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,java.util.Set,boolean,boolean)	42	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Reference to class joeq.Class.jq_Class in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,joeq.Class.jq_Reference,boolean,boolean)	197	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_StaticMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,joeq.Class.jq_Reference,boolean,boolean)	185	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_InstanceMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,joeq.Class.jq_Reference,boolean,boolean)	186	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_StaticMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,boolean)	418	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_InstanceMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,boolean)	419	Low

joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$FirstPassVisitor

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactState to class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactJSRState in joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$FirstPassVisitor.mergeStateWith(BasicBlock,boolean)	964	Low
BC: Unchecked/unconfirmed cast from joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactState to class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactJSRState in joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$FirstPassVisitor.mergeJSRStateWith(BasicBlock,BasicBlock)	977	Low
BC: Unchecked/unconfirmed cast from joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactState to class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactJSRState in joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$FirstPassVisitor.visitRET(int)	1331	Low
UwF: Field not initialized in constructor: joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$FirstPassVisitor.current_bb	-1	Low

joeq.Compiler.Quad.Operand$FConstOperand

Violation	Line	Priority
FE: Test for floating point equality in joeq.Compiler.Quad.Operand$FConstOperand.isSimilar(Operand).	175	Low

joeq.Compiler.Quad.Operand$DConstOperand

Violation	Line	Priority
FE: Test for floating point equality in joeq.Compiler.Quad.Operand$DConstOperand.isSimilar(Operand).	215	Low

joeq.Compiler.Quad.Operand$IntValueTableOperand

Violation	Line	Priority
EI2: joeq.Compiler.Quad.Operand$IntValueTableOperand.<init>(int[]) may expose internal representation by storing an externally mutable object into joeq.Compiler.Quad.Operand$IntValueTableOperand.table	301	Normal

joeq.Compiler.Quad.Operand$BasicBlockTableOperand

Violation	Line	Priority
EI2: joeq.Compiler.Quad.Operand$BasicBlockTableOperand.<init>(BasicBlock[]) may expose internal representation by storing an externally mutable object into joeq.Compiler.Quad.Operand$BasicBlockTableOperand.table	329	Normal

joeq.Compiler.Quad.Operand$ParamListOperand

Violation	Line	Priority
EI2: joeq.Compiler.Quad.Operand$ParamListOperand.<init>(Operand$RegisterOperand[]) may expose internal representation by storing an externally mutable object into joeq.Compiler.Quad.Operand$ParamListOperand.params	357	Normal

joeq.Compiler.Quad.Operator$Binary$CMP_FL

Violation	Line	Priority
FE: Test for floating point equality in joeq.Compiler.Quad.Operator$Binary$CMP_FL.interpret(Quad,joeq.Interpreter.QuadInterpreter).	765	Low

joeq.Compiler.Quad.Operator$Binary$CMP_FG

Violation	Line	Priority
FE: Test for floating point equality in joeq.Compiler.Quad.Operator$Binary$CMP_FG.interpret(Quad,joeq.Interpreter.QuadInterpreter).	775	Low

joeq.Compiler.Quad.Operator$Binary$CMP_DL

Violation	Line	Priority
FE: Test for floating point equality in joeq.Compiler.Quad.Operator$Binary$CMP_DL.interpret(Quad,joeq.Interpreter.QuadInterpreter).	785	Low

joeq.Compiler.Quad.Operator$Binary$CMP_DG

Violation	Line	Priority
FE: Test for floating point equality in joeq.Compiler.Quad.Operator$Binary$CMP_DG.interpret(Quad,joeq.Interpreter.QuadInterpreter).	795	Low

joeq.Compiler.Quad.ControlFlowGraph

Violation	Line	Priority
ST: Write to static field joeq.Compiler.Quad.ControlFlowGraph.correspondenceMap from instance method joeq.Compiler.Quad.ControlFlowGraph.merge(ControlFlowGraph)	440	High
MS: joeq.Compiler.Quad.ControlFlowGraph.correspondenceMap should be package protected	435	Normal
UwF: Field not initialized in constructor: joeq.Compiler.Quad.ControlFlowGraph.jsr_map	-1	Low

joeq.Compiler.Quad.JSRInfo

Violation	Line	Priority
EI2: joeq.Compiler.Quad.JSRInfo.<init>(BasicBlock,BasicBlock,boolean[]) may expose internal representation by storing an externally mutable object into joeq.Compiler.Quad.JSRInfo.changedLocals	20	Normal

joeq.Compiler.Quad.BytecodeToQuad$jq_ReturnAddressType

Violation	Line	Priority
PZLA: Should joeq.Compiler.Quad.BytecodeToQuad$jq_ReturnAddressType.getInterfaces() return a zero length array rather than null?	2758	Low

joeq.Compiler.Quad.BytecodeToQuad

Violation	Line	Priority
UCF: Useless control flow in joeq.Compiler.Quad.BytecodeToQuad.traverseBB(joeq.Compiler.BytecodeAnalysis.BasicBlock)	228	Normal
MS: joeq.Compiler.Quad.BytecodeToQuad.ALWAYS_TRACE isn't final but should be	102	High

joeq.Compiler.Quad.CallGraph$2

Violation	Line	Priority
Se: joeq.Compiler.Quad.CallGraph$2 implements Comparator but not Serializable	-1	Low

joeq.Compiler.Quad.CallGraph

Violation	Line	Priority
BC: Questionable cast from Collection to abstract class java.util.Set in joeq.Compiler.Quad.CallGraph.getCallSiteMap()	426	Normal
BC: Questionable cast from Collection to abstract class java.util.Set in joeq.Compiler.Quad.CallGraph.getCallGraphMap()	440	Normal
BC: Questionable cast from Collection to abstract class java.util.Set in joeq.Compiler.Quad.CallGraph.entrySet()	617	Normal

joeq.Compiler.Quad.AndersenPointerAnalysis

Violation	Line	Priority
Dm: joeq.Compiler.Quad.AndersenPointerAnalysis.iterate() forces garbage collection; extremely dubious except in benchmarking code	762	High
DLS: Dead store to nt_n1 in method joeq.Compiler.Quad.AndersenPointerAnalysis.initializeStatics(boolean)	490	Normal
DLS: Dead store to s in method joeq.Compiler.Quad.AndersenPointerAnalysis.markCollapsedNode(joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OutsideNode)	1508	Normal
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_Initializer in joeq.Compiler.Quad.AndersenPointerAnalysis.initializeStatics(boolean)	373	Low
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.out isn't final but should be	57	High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.TRACE should be package protected	64	Normal
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.FULL_DUMP isn't final but should be	84	High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.COMPARE_RTA isn't final but should be	89	High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.DO_TWICE isn't final but should be	94	High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.IGNORE_CLINIT isn't final but should be	99	High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.FORCE_GC isn't final but should be	121	High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.TRACK_REASONS isn't final but should be	145	High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.INSTANCE should be package protected	607	Normal
NP: Read of unwritten field in joeq.Compiler.Quad.AndersenPointerAnalysis.addInclusionBackEdge(joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OutsideNode,joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node)	1029	Normal
NP: Read of unwritten field in joeq.Compiler.Quad.AndersenPointerAnalysis.addInclusionBackEdge(joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OutsideNode,joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node)	1027	Normal
UwF: Field only ever set to null: joeq.Compiler.Quad.AndersenPointerAnalysis.nodeToIncomingInclusionEdges	-1	High
UuF: Unused field: joeq.Compiler.Quad.AndersenPointerAnalysis.changedFields_Methods	-1	Normal
UuF: Unused field: joeq.Compiler.Quad.AndersenPointerAnalysis.newChangedFields	-1	Normal
UuF: Unused field: joeq.Compiler.Quad.AndersenPointerAnalysis.oldChangedFields	-1	Normal

joeq.Compiler.Quad.CodeCache

Violation	Line	Priority
Nm: The field name joeq.Compiler.Quad.CodeCache.AlwaysMap doesn't start with an lower case letter	-1	Normal
UCF: Useless control flow in joeq.Compiler.Quad.CodeCache._invalidateBCMap(joeq.Class.jq_Method)	100	Normal
MS: joeq.Compiler.Quad.CodeCache.passes isn't final but should be	24	High
MS: joeq.Compiler.Quad.CodeCache.TRACE isn't final but should be	37	High
MS: joeq.Compiler.Quad.CodeCache.AlwaysMap isn't final and can't be protected from malicious code	38	Normal

joeq.Compiler.Quad.DotGraph$dot

Violation	Line	Priority
Nm: The class name joeq.Compiler.Quad.DotGraph$dot doesn't start with an upper case letter	-1	Normal

joeq.Compiler.Quad.DotGraph

Violation	Line	Priority
SBSC: Method joeq.Compiler.Quad.DotGraph.visitCFG(ControlFlowGraph) concatenates strings using + in a loop	282	Normal
MS: joeq.Compiler.Quad.DotGraph.outputDir should be package protected	37	Normal
MS: joeq.Compiler.Quad.DotGraph.dotFilePrefix isn't final but should be	42	High

joeq.Compiler.Quad.FilteredCallGraph$PackageFilter

Violation	Line	Priority
Dm: Method joeq.Compiler.Quad.FilteredCallGraph$PackageFilter.acceptTargetMethod(Object,joeq.Compiler.Analysis.IPA.ProgramLocation,Object) invokes toString() method on a String; just use the String	74	Normal

joeq.Compiler.Quad.LoadedCallGraph$1

Violation	Line	Priority
Se: joeq.Compiler.Quad.LoadedCallGraph$1 implements Comparator but not Serializable	-1	Low

joeq.Compiler.Quad.LoadedCallGraph$2

Violation	Line	Priority
Se: joeq.Compiler.Quad.LoadedCallGraph$2 implements Comparator but not Serializable	-1	Low

joeq.Compiler.Quad.LoadedCallGraph$3

Violation	Line	Priority
Se: joeq.Compiler.Quad.LoadedCallGraph$3 implements Comparator but not Serializable	-1	Low

joeq.Compiler.Quad.PointerExplorer$1

Violation	Line	Priority
Se: joeq.Compiler.Quad.PointerExplorer$1 implements Comparator but not Serializable	-1	Low

joeq.Compiler.Quad.PointerExplorer

Violation	Line	Priority
Dm: joeq.Compiler.Quad.PointerExplorer.getMethod(String[],int) invokes System.exit(...), which shuts down the entire virtual machine	86	Low
Dm: joeq.Compiler.Quad.PointerExplorer.getMethod(joeq.Class.jq_Class,String) invokes System.exit(...), which shuts down the entire virtual machine	111	Low
NP: Possible null pointer dereference in joeq.Compiler.Quad.PointerExplorer.getMethod(joeq.Class.jq_Class,String) due to return value of called method	129	Normal
NP: Possible null pointer dereference in joeq.Compiler.Quad.PointerExplorer.selectCallSites(String,java.util.Iterator,java.util.Iterator) due to return value of called method	192	Normal
NP: Possible null pointer dereference in joeq.Compiler.Quad.PointerExplorer.printAllInclusionEdges(java.util.HashSet,joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node,joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node,String,boolean,joeq.Class.jq_Field,boolean) due to return value of called method	264	Normal
DLS: Dead store to result in method joeq.Compiler.Quad.PointerExplorer.setDepth(java.util.LinkedHashSet,java.util.HashMap,joeq.Class.jq_Method)	396	Normal
DLS: Dead store to result in method joeq.Compiler.Quad.PointerExplorer.setDepth_clone(java.util.HashMap,java.util.HashMap,java.util.LinkedHashSet,java.util.HashMap,joeq.Class.jq_Method)	505	Normal
MS: joeq.Compiler.Quad.PointerExplorer.apa should be package protected	-1	Normal
MS: joeq.Compiler.Quad.PointerExplorer.callGraph should be package protected	-1	Normal
MS: joeq.Compiler.Quad.PointerExplorer.rootSet isn't final but should be	174	High
MS: joeq.Compiler.Quad.PointerExplorer.selectedCallSites isn't final but should be	175	High
MS: joeq.Compiler.Quad.PointerExplorer.methodToCallSites isn't final but should be	176	High
MS: joeq.Compiler.Quad.PointerExplorer.toInline should be package protected	177	Normal
MS: joeq.Compiler.Quad.PointerExplorer.inlineCommands isn't final but should be	178	High

joeq.Compiler.Dataflow.Fact

Violation	Line	Priority
Eq: Abstract joeq.Compiler.Dataflow.Fact defines equals(joeq.Compiler.Dataflow.Fact) method	-1	Low

joeq.Compiler.Dataflow.BBComparator

Violation	Line	Priority
Se: joeq.Compiler.Dataflow.BBComparator implements Comparator but not Serializable	-1	Normal

joeq.Compiler.Dataflow.LivenessAnalysis

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from jwutil.graphs.Graph to class jwutil.graphs.EdgeGraph in joeq.Compiler.Dataflow.LivenessAnalysis.initialize(jwutil.graphs.Graph)	46	Low
UwF: Field not initialized in constructor: joeq.Compiler.Dataflow.LivenessAnalysis.mySolver	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Dataflow.LivenessAnalysis.transferFunctions	-1	Low

joeq.ClassLib.Common.InterfaceImpl

Violation	Line	Priority
BC: Impossible cast from java.lang.reflect.Constructor to class joeq.ClassLib.Common.java.lang.reflect.Constructor in joeq.ClassLib.Common.InterfaceImpl.initNewConstructor(java.lang.reflect.Constructor,joeq.Class.jq_Initializer)	262	High
BC: Impossible cast from java.lang.reflect.Field to class joeq.ClassLib.Common.java.lang.reflect.Field in joeq.ClassLib.Common.InterfaceImpl.initNewField(java.lang.reflect.Field,joeq.Class.jq_Field)	273	High
BC: Impossible cast from java.lang.reflect.Method to class joeq.ClassLib.Common.java.lang.reflect.Method in joeq.ClassLib.Common.InterfaceImpl.initNewMethod(java.lang.reflect.Method,joeq.Class.jq_Method)	284	High
BC: Impossible cast from java.lang.reflect.Field to class joeq.ClassLib.Common.java.lang.reflect.Field in joeq.ClassLib.Common.InterfaceImpl.getJQField(java.lang.reflect.Field)	290	High
BC: Impossible cast from java.lang.reflect.Constructor to class joeq.ClassLib.Common.java.lang.reflect.Constructor in joeq.ClassLib.Common.InterfaceImpl.getJQInitializer(java.lang.reflect.Constructor)	296	High
BC: Impossible cast from java.lang.reflect.Method to class joeq.ClassLib.Common.java.lang.reflect.Method in joeq.ClassLib.Common.InterfaceImpl.getJQMethod(java.lang.reflect.Method)	302	High
BC: Impossible cast from java.lang.Class to class joeq.ClassLib.Common.java.lang.Class in joeq.ClassLib.Common.InterfaceImpl.getJQType(Class)	308	High
BC: Impossible cast from java.lang.ClassLoader to class joeq.ClassLib.Common.java.lang.ClassLoader in joeq.ClassLib.Common.InterfaceImpl.getOrCreateType(ClassLoader,joeq.UTF.Utf8)	314	High
BC: Impossible cast from java.lang.ClassLoader to class joeq.ClassLib.Common.java.lang.ClassLoader in joeq.ClassLib.Common.InterfaceImpl.unloadType(ClassLoader,joeq.Class.jq_Type)	320	High
BC: Impossible cast from java.util.zip.ZipFile to class joeq.ClassLib.Common.java.util.zip.ZipFile in joeq.ClassLib.Common.InterfaceImpl.init_zipfile(java.util.zip.ZipFile,String)	326	High
BC: Impossible cast from java.util.zip.Inflater to class joeq.ClassLib.Common.java.util.zip.Inflater in joeq.ClassLib.Common.InterfaceImpl.init_inflater(java.util.zip.Inflater,boolean)	332	High
BC: Impossible cast from java.lang.Thread to class joeq.ClassLib.Common.java.lang.Thread in joeq.ClassLib.Common.InterfaceImpl.getJQThread(Thread)	343	High

joeq.ClassLib.ibm13_linux.Interface$ibm13_linuxObjectTraverser

Violation	Line	Priority
DE: joeq.ClassLib.ibm13_linux.Interface$ibm13_linuxObjectTraverser.initialize() might ignore java.io.UnsupportedEncodingException	49	Normal
RV: joeq.ClassLib.ibm13_linux.Interface$ibm13_linuxObjectTraverser.initialize() ignores return value of java.lang.String.<init>(byte[],int,int,String)	48	Low
MS: joeq.ClassLib.ibm13_linux.Interface$ibm13_linuxObjectTraverser.INSTANCE isn't final but should be	41	High

joeq.ClassLib.ibm13_win32.Interface$ibm13_win32ObjectTraverser

Violation	Line	Priority
DE: joeq.ClassLib.ibm13_win32.Interface$ibm13_win32ObjectTraverser.initialize() might ignore java.io.UnsupportedEncodingException	49	Normal
RV: joeq.ClassLib.ibm13_win32.Interface$ibm13_win32ObjectTraverser.initialize() ignores return value of java.lang.String.<init>(byte[],int,int,String)	48	Low
MS: joeq.ClassLib.ibm13_win32.Interface$ibm13_win32ObjectTraverser.INSTANCE isn't final but should be	41	High

joeq.ClassLib.sun13_win32.Interface$sun13_win32ObjectTraverser

Violation	Line	Priority
ST: Write to static field joeq.Scheduler.jq_NativeThread.USE_INTERRUPTER_THREAD from instance method joeq.ClassLib.sun13_win32.Interface$sun13_win32ObjectTraverser.initialize()	46	Normal
MS: joeq.ClassLib.sun13_win32.Interface$sun13_win32ObjectTraverser.INSTANCE isn't final but should be	42	High

joeq.ClassLib.sun142_linux.Interface$sun142_linuxObjectTraverser

Violation	Line	Priority
DLS: Dead store to k in method joeq.ClassLib.sun142_linux.Interface$sun142_linuxObjectTraverser.initialize()	58	Low
MS: joeq.ClassLib.sun142_linux.Interface$sun142_linuxObjectTraverser.INSTANCE isn't final but should be	37	High

joeq.ClassLib.sun14_linux.Interface$sun14_linuxObjectTraverser

Violation	Line	Priority
ST: Write to static field joeq.Scheduler.jq_NativeThread.USE_INTERRUPTER_THREAD from instance method joeq.ClassLib.sun14_linux.Interface$sun14_linuxObjectTraverser.initialize()	76	Low
MS: joeq.ClassLib.sun14_linux.Interface$sun14_linuxObjectTraverser.INSTANCE isn't final but should be	40	High

joeq.ClassLib.sun142_win32.Interface$sun142_win32ObjectTraverser

Violation	Line	Priority
DLS: Dead store to k in method joeq.ClassLib.sun142_win32.Interface$sun142_win32ObjectTraverser.initialize()	66	Low
MS: joeq.ClassLib.sun142_win32.Interface$sun142_win32ObjectTraverser.INSTANCE isn't final but should be	37	High

joeq.ClassLib.sun14_win32.Interface$sun14_win32ObjectTraverser

Violation	Line	Priority
ST: Write to static field joeq.Scheduler.jq_NativeThread.USE_INTERRUPTER_THREAD from instance method joeq.ClassLib.sun14_win32.Interface$sun14_win32ObjectTraverser.initialize()	74	Low
MS: joeq.ClassLib.sun14_win32.Interface$sun14_win32ObjectTraverser.INSTANCE isn't final but should be	38	High

joeq.Util.Templates.UnmodifiableList$jq_Class$Iterator

Violation	Line	Priority
It: joeq.Util.Templates.UnmodifiableList$jq_Class$Iterator.next() can't throw NoSuchElement exception	33	Normal

joeq.Util.Templates.UnmodifiableList$jq_Class

Violation	Line	Priority
EI2: joeq.Util.Templates.UnmodifiableList$jq_Class.<init>(joeq.Class.jq_Class[]) may expose internal representation by storing an externally mutable object into joeq.Util.Templates.UnmodifiableList$jq_Class.a	18	Normal

joeq.Util.Templates.UnmodifiableList$RegisterOperand$Iterator

Violation	Line	Priority
It: joeq.Util.Templates.UnmodifiableList$RegisterOperand$Iterator.next() can't throw NoSuchElement exception	65	Normal

joeq.Util.Templates.UnmodifiableList$RegisterOperand

Violation	Line	Priority
EI2: joeq.Util.Templates.UnmodifiableList$RegisterOperand.<init>(joeq.Compiler.Quad.Operand$RegisterOperand[]) may expose internal representation by storing an externally mutable object into joeq.Util.Templates.UnmodifiableList$RegisterOperand.a	52	Normal

joeq.Util.Templates.UnmodifiableList$Operand$Iterator

Violation	Line	Priority
It: joeq.Util.Templates.UnmodifiableList$Operand$Iterator.next() can't throw NoSuchElement exception	93	Normal

joeq.Util.Templates.UnmodifiableList$Operand

Violation	Line	Priority
EI2: joeq.Util.Templates.UnmodifiableList$Operand.<init>(joeq.Compiler.Quad.Operand[]) may expose internal representation by storing an externally mutable object into joeq.Util.Templates.UnmodifiableList$Operand.a	82	Normal

joeq.Util.Templates.UnmodifiableList$BasicBlock$Iterator

Violation	Line	Priority
It: joeq.Util.Templates.UnmodifiableList$BasicBlock$Iterator.next() can't throw NoSuchElement exception	115	Normal

joeq.Util.Templates.UnmodifiableList$BasicBlock

Violation	Line	Priority
EI2: joeq.Util.Templates.UnmodifiableList$BasicBlock.<init>(joeq.Compiler.Quad.BasicBlock[]) may expose internal representation by storing an externally mutable object into joeq.Util.Templates.UnmodifiableList$BasicBlock.a	104	Normal

joeq.Util.Templates.UnmodifiableList$Quad$Iterator

Violation	Line	Priority
It: joeq.Util.Templates.UnmodifiableList$Quad$Iterator.next() can't throw NoSuchElement exception	138	Normal

joeq.Util.Templates.UnmodifiableList$Quad

Violation	Line	Priority
EI2: joeq.Util.Templates.UnmodifiableList$Quad.<init>(joeq.Compiler.Quad.Quad[]) may expose internal representation by storing an externally mutable object into joeq.Util.Templates.UnmodifiableList$Quad.a	126	Normal

joeq.Util.IO.SourceLister

Violation	Line	Priority
DE: joeq.Util.IO.SourceLister.list(joeq.Compiler.Analysis.IPA.ProgramLocation,boolean,int,int,String) might ignore java.io.IOException	101	Normal
EI2: joeq.Util.IO.SourceLister.<init>(String[]) may expose internal representation by storing an externally mutable object into joeq.Util.IO.SourceLister.srcDirs	43	Normal
MS: joeq.Util.IO.SourceLister.defaultSrcDirs should be both final and package protected	26	Normal
MS: joeq.Util.IO.SourceLister.defaultLinesBefore isn't final but should be	27	Normal
MS: joeq.Util.IO.SourceLister.defaultLinesAfter isn't final but should be	28	Normal

joeq.Util.SyntheticGraphs.Graph

Violation	Line	Priority
Dm: Method joeq.Util.SyntheticGraphs.Graph.addNode(long,String) allocates a boxed primitive just to call toString	56	Low
Dm: Method joeq.Util.SyntheticGraphs.Graph.addEdge(long,long) allocates a boxed primitive just to call toString	66	Low
Dm: Method joeq.Util.SyntheticGraphs.Graph.addEdge(long,long) allocates a boxed primitive just to call toString	67	Low

joeq.Util.SyntheticGraphs.TestGraph

Violation	Line	Priority
Dm: Method joeq.Util.SyntheticGraphs.TestGraph.makeTest1() allocates a boxed primitive just to call toString	117	Low
Dm: Method joeq.Util.SyntheticGraphs.TestGraph.makeTest2() allocates a boxed primitive just to call toString	138	Low

joeq.Assembler.x86.x86

Violation	Line	Priority
Nm: The class name joeq.Assembler.x86.x86 doesn't start with an upper case letter	-1	Normal
Nm: The method name joeq.Assembler.x86.x86.RegToString(int) doesn't start with an lower case letter	1742	Low
Nm: The method name joeq.Assembler.x86.x86.ScaleToString(int) doesn't start with an lower case letter	1797	Low
Nm: The method name joeq.Assembler.x86.x86.Imm8ToString(int) doesn't start with an lower case letter	1811	Low
Nm: The method name joeq.Assembler.x86.x86.Imm16ToString(char) doesn't start with an lower case letter	1815	Low
Nm: The method name joeq.Assembler.x86.x86.Imm32ToString(int) doesn't start with an lower case letter	1819	Low
Nm: The method name joeq.Assembler.x86.x86.Abs32ToString(int) doesn't start with an lower case letter	1823	Low
UPM: Private method joeq.Assembler.x86.x86._sop(int,int,int,int,String) is never called	1890	Low
UrF: Unread field: joeq.Assembler.x86.x86.microops	-1	Normal
UrF: Unread field: joeq.Assembler.x86.x86.pairing	-1	Normal

joeq.Assembler.x86.x86Assembler

Violation	Line	Priority
Nm: The class name joeq.Assembler.x86.x86Assembler doesn't start with an upper case letter	-1	Normal
MS: joeq.Assembler.x86.x86Assembler.TRACE isn't final and can't be protected from malicious code	516	Normal

joeq.Linker.ELF.Section$ProgBitsSectionImpl

Violation	Line	Priority
EI2: joeq.Linker.ELF.Section$ProgBitsSectionImpl.<init>(String,int,int,int,byte[]) may expose internal representation by storing an externally mutable object into joeq.Linker.ELF.Section$ProgBitsSectionImpl.data	269	Normal

joeq.Linker.ELF.Section$RelASection

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Linker.ELF.RelocEntry to class joeq.Linker.ELF.RelocAEntry in joeq.Linker.ELF.Section$RelASection.load(Section$UnloadedSection,ELF)	645	Low

joeq.Linker.ELF.Section$NoteSection

Violation	Line	Priority
EI2: joeq.Linker.ELF.Section$NoteSection.<init>(String,int,int,String,byte[],int) may expose internal representation by storing an externally mutable object into joeq.Linker.ELF.Section$NoteSection.notedesc	700	Normal

joeq.Linker.ELF.ELFRandomAccessFile

Violation	Line	Priority
DLS: Dead store to e_phoff in method joeq.Linker.ELF.ELFRandomAccessFile.readHeader()	51	Normal

joeq.Linker.ELF.SymbolTableEntry

Violation	Line	Priority
DLS: Dead store to other in method joeq.Linker.ELF.SymbolTableEntry.read(ELF,Section$StrTabSection)	53	Low

joeq.Compiler.Quad.IPA.Solver

Violation	Line	Priority
DLS: Dead store to time in method joeq.Compiler.Quad.IPA.Solver.go()	42	Low

joeq.Compiler.Quad.SSA.EnterSSA

Violation	Line	Priority
NP: Load of known null value in joeq.Compiler.Quad.SSA.EnterSSA.makePhiInstruction(joeq.Compiler.Quad.RegisterFactory$Register,joeq.Compiler.Quad.BasicBlock)	319	Low
NP: Load of known null value in joeq.Compiler.Quad.SSA.EnterSSA.makePhiInstruction(joeq.Compiler.Quad.RegisterFactory$Register,joeq.Compiler.Quad.BasicBlock)	321	Low
UwF: Field not initialized in constructor: joeq.Compiler.Quad.SSA.EnterSSA.dominators	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Quad.SSA.EnterSSA.ir	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Quad.SSA.EnterSSA.link_registers	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Quad.SSA.EnterSSA.register_uses	-1	Low

joeq.Compiler.Quad.x86.SimpleCompiler

Violation	Line	Priority
Dm: Method joeq.Compiler.Quad.x86.SimpleCompiler.init(joeq.Compiler.Quad.ControlFlowGraph) invokes toString() method on a String; just use the String	173	Normal
Nm: The field name joeq.Compiler.Quad.x86.SimpleCompiler.TraceQuads doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Quad.x86.SimpleCompiler.TraceMethods doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Quad.x86.SimpleCompiler.TraceArguments doesn't start with an lower case letter	-1	Normal
DB: Method joeq.Compiler.Quad.x86.SimpleCompiler.INVOKEhelper(byte,joeq.Class.jq_Method) uses the same code for two switch clauses	1259	Low
MS: joeq.Compiler.Quad.x86.SimpleCompiler.ALWAYS_TRACE should be package protected	138	Normal
MS: joeq.Compiler.Quad.x86.SimpleCompiler.TRACE_STUBS isn't final but should be	139	High
MS: joeq.Compiler.Quad.x86.SimpleCompiler.THREAD_BLOCK_PREFIX isn't final but should be	487	High
MS: joeq.Compiler.Quad.x86.SimpleCompiler.THREAD_BLOCK_OFFSET isn't final but should be	488	High

joeq.Compiler.Quad.x86.x86QuadExceptionDeliverer

Violation	Line	Priority
Nm: The class name joeq.Compiler.Quad.x86.x86QuadExceptionDeliverer doesn't start with an upper case letter	-1	Normal
MS: joeq.Compiler.Quad.x86.x86QuadExceptionDeliverer.TRACE isn't final but should be	23	High

joeq.Compiler.Analysis.BDD.BuildBDDIR

Violation	Line	Priority
OS: joeq.Compiler.Analysis.BDD.BuildBDDIR.loadOpMap() may fail to close stream on exception	179	Low

joeq.Compiler.Analysis.IPA.ProgramLocation$FakeProgramLocation

Violation	Line	Priority
PZLA: Should joeq.Compiler.Analysis.IPA.ProgramLocation$FakeProgramLocation.getParamTypes() return a zero length array rather than null?	527	Low

joeq.Compiler.Analysis.IPA.ProgramLocation$PlaceholderParameterProgramLocation

Violation	Line	Priority
PZLA: Should joeq.Compiler.Analysis.IPA.ProgramLocation$PlaceholderParameterProgramLocation.getParamTypes() return a zero length array rather than null?	566	Low

joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis

Violation	Line	Priority
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis.visitMethod(joeq.Class.jq_Method)	125	Normal
DLS: Dead store to n2 in method joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis.unifyAccessPathEdges(joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node)	159	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_Initializer in joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis.initialize(joeq.Class.jq_Class)	59	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis.dis	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis.returned	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis.thrown	-1	Low
UrF: Unread field: joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis.summary	-1	Normal

joeq.Compiler.Analysis.IPA.CollectionFinder

Violation	Line	Priority
UPM: Private method joeq.Compiler.Analysis.IPA.CollectionFinder.buildList(net.sf.javabdd.BDD) is never called	65	Low
WMI: Method joeq.Compiler.Analysis.IPA.CollectionFinder.printNodesWithPointeeTypes(java.io.PrintStream,java.util.Map,java.util.Map,String) makes inefficient use of keySet iterator instead of entrySet iterator	182	Normal
FE: Test for floating point equality in joeq.Compiler.Analysis.IPA.CollectionFinder.calculateCommonSupertype(net.sf.javabdd.BDD).	110	Low
FE: Test for floating point equality in joeq.Compiler.Analysis.IPA.CollectionFinder.printPolyFieldInfo(java.io.PrintStream).	226	Low

joeq.Compiler.Analysis.IPA.PA$ToString

Violation	Line	Priority
DB: Method joeq.Compiler.Analysis.IPA.PA$ToString.elementName(int,java.math.BigInteger) uses the same code for two switch clauses	3643	Low
DB: Method joeq.Compiler.Analysis.IPA.PA$ToString.elementName(int,java.math.BigInteger) uses the same code for two switch clauses	3635	Low

joeq.Compiler.Analysis.IPA.PA$HeapPathSelector

Violation	Line	Priority
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA$HeapPathSelector.isImportant(Object,Object,java.math.BigInteger)	4380	Normal

joeq.Compiler.Analysis.IPA.PA$2

Violation	Line	Priority
Se: joeq.Compiler.Analysis.IPA.PA$2 implements Comparator but not Serializable	-1	Low
SIC: The class joeq.Compiler.Analysis.IPA.PA$2 could be refactored into a named _static_ inner class	-1	Low

joeq.Compiler.Analysis.IPA.PA$3

Violation	Line	Priority
Se: joeq.Compiler.Analysis.IPA.PA$3 implements Comparator but not Serializable	-1	Low
SIC: The class joeq.Compiler.Analysis.IPA.PA$3 could be refactored into a named _static_ inner class	-1	Low

joeq.Compiler.Analysis.IPA.PA

Violation	Line	Priority
NP: Load of known null value in joeq.Compiler.Analysis.IPA.PA.countCallGraph(joeq.Compiler.Quad.CallGraph,ObjectCreationGraph,boolean)	4233	Low
NP: Load of known null value in joeq.Compiler.Analysis.IPA.PA.countHeapNumbering(joeq.Compiler.Quad.CallGraph,boolean)	4538	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Vmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Imap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Hmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Fmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Tmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Nmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Mmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Cmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Iret doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Mret doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Ithr doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Mthr doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.ItoI2 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Fset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Mset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Nset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Cset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Iset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Zset doesn't start with an lower case letter	-1	Low
ST: Write to static field joeq.Compiler.Analysis.IPA.PA.printed from instance method joeq.Compiler.Analysis.IPA.PA.getBDDDomains(net.sf.javabdd.BDD)	2081	High
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.IPA.PA.bindForName()	2561	Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.IPA.PA.bindForName()	2580	Low
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.IPA.PA.bindForName()	2586	Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.IPA.PA.bindForName()	2609	Normal
OS: joeq.Compiler.Analysis.IPA.PA.initializeHeapLocations() may fail to close stream	3277	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.initializeBDD(String)	329	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.initializeBDD(String)	361	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.initializeBDD(String)	549	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.getV1V2Context(joeq.Class.jq_Method)	1115	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.run(String,joeq.Compiler.Quad.CallGraph,java.util.Collection)	3110	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.run(String,joeq.Compiler.Quad.CallGraph,java.util.Collection)	3219	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.getV1H1Context(joeq.Class.jq_Method)	4625	Normal
UPM: Private method joeq.Compiler.Analysis.IPA.PA.makeHQuadbdd() is never called	5414	Low
DLS: Dead store to s in method joeq.Compiler.Analysis.IPA.PA.visitMethod(joeq.Class.jq_Method)	1054	High
DLS: Dead store to H_i in method joeq.Compiler.Analysis.IPA.PA.bindReflectionsWithCasts()	2502	Low
DLS: Dead store to roots in method joeq.Compiler.Analysis.IPA.PA.loadCallGraph(java.util.Collection)	3061	Normal
FE: Test for floating point equality in joeq.Compiler.Analysis.IPA.PA.saveForNameStats().	3394	Low
MS: joeq.Compiler.Analysis.IPA.PA.TRACE_REFLECTION isn't final but should be	179	High
MS: joeq.Compiler.Analysis.IPA.PA.TRACE_REFLECTION_DOMAINS isn't final but should be	180	High
MS: joeq.Compiler.Analysis.IPA.PA.THREADS_ONLY isn't final but should be	4272	High
MS: joeq.Compiler.Analysis.IPA.PA.MATCH_FACTORY isn't final but should be	4339	High
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.A	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.C	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Cmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.F	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Fmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Fset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.H1	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.H1cdomain	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.H1set	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.H2	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Hmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.I	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.IE	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.IEcs	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.IEfilter	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.IMset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.INset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Imap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Iret	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Iset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Ithr	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.L	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.M	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.M2	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.MZset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Mmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Mret	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Mset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Mthr	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.N	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.NNfilter	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Nmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.S	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.STR	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.STRmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.T1	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.T1set	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.T2	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.T2Nset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Tmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V1	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V1H1correspondence	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V1cdomain	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V1cset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V1set	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V2	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V2cdomain	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V2cset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Vmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Z	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.aT	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.actual	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.bdd	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.bddIRBuilder	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.cha	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.fC	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.fT	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.forNameMap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.formal	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.hCnumbering	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.hP	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.hPfilter	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.hT	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.mC	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.mI	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.mSync	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.mV	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.oCnumbering	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old1_A	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old1_L	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old1_S	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old1_hP	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old1_vP	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old2_myIE	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old2_visited	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old3_hT	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old3_t3	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old3_t4	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old3_vP	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.polyClasses	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.rangeMap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.staticCalls	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.sync	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.threadNumbers	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.threadRuns	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.vCnumbering	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.vP	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.vPfilter	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.vT	-1	Low
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.PA.H1toV1c	-1	Normal
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.PA.V1cH1equals	-1	Normal
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.PA.V1csets	-1	Normal
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.PA.V1ctoH1	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.IPA.PA.Cset	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.IPA.PA.hQuad	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.IPA.PA.removedCalls	-1	Normal

joeq.Compiler.Analysis.IPA.PAResults$1

Violation	Line	Priority
UMAC: Uncallable method joeq.Compiler.Analysis.IPA.PAResults$1.elementName(int,long) defined in anonymous class	1873	Normal
UMAC: Uncallable method joeq.Compiler.Analysis.IPA.PAResults$1.elementNames(int,long,long) defined in anonymous class	1884	Normal

joeq.Compiler.Analysis.IPA.PAResults

Violation	Line	Priority
DLS: Dead store to oldSize in method joeq.Compiler.Analysis.IPA.PAResults.getCallTargets(ProgramLocation$QuadProgramLocation)	1619	Low
DLS: Dead store to h in method joeq.Compiler.Analysis.IPA.PAResults.compareCallingContexts(joeq.Class.jq_Method)	1956	Low
FE: Test for floating point equality in joeq.Compiler.Analysis.IPA.PAResults.calculateCommonSupertype(net.sf.javabdd.BDD).	918	Low
FE: Test for floating point equality in joeq.Compiler.Analysis.IPA.PAResults.getEncapsulatedHeapObjects().	1246	Low
FE: Test for floating point equality in joeq.Compiler.Analysis.IPA.PAResults.printStats().	1440	Low
MS: joeq.Compiler.Analysis.IPA.PAResults.p0 isn't final but should be	1972	Normal
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PAResults.H3	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PAResults.cg	-1	Low

joeq.Compiler.Analysis.IPA.SubtypeHelper$OfflineSubtypeHelper

Violation	Line	Priority
OS: joeq.Compiler.Analysis.IPA.SubtypeHelper$OfflineSubtypeHelper.initializeSubclasses() may fail to close stream	136	Normal

joeq.Compiler.Analysis.IPA.ExceptionAnalysis

Violation	Line	Priority
UPM: Private method joeq.Compiler.Analysis.IPA.ExceptionAnalysis.findRecursiveMethods() is never called	218	Low
DLS: Dead store to $l8 in method joeq.Compiler.Analysis.IPA.ExceptionAnalysis.main(String[])	396	Low

joeq.Compiler.Analysis.IPA.ObjectNamingSupport

Violation	Line	Priority
Dm: Method joeq.Compiler.Analysis.IPA.ObjectNamingSupport.readNames(String) allocates a boxed primitive just to call toString	221	Low
NP: Possible null pointer dereference in joeq.Compiler.Analysis.IPA.ObjectNamingSupport.readGraph(String)	159	Normal
NP: Possible null pointer dereference in joeq.Compiler.Analysis.IPA.ObjectNamingSupport.readSources(String)	232	Normal
OS: joeq.Compiler.Analysis.IPA.ObjectNamingSupport.dumpFrontierNodes(String,String) may fail to close stream on exception	78	Low
OS: joeq.Compiler.Analysis.IPA.ObjectNamingSupport.readGraph(String) may fail to close stream on exception	155	Low
OS: joeq.Compiler.Analysis.IPA.ObjectNamingSupport.readNames(String) may fail to close stream	216	Normal
OS: joeq.Compiler.Analysis.IPA.ObjectNamingSupport.readSources(String) may fail to close stream	227	Normal
DLS: Dead store to i in method joeq.Compiler.Analysis.IPA.ObjectNamingSupport.readGraph(String)	164	Low
DLS: Dead store to line in method joeq.Compiler.Analysis.IPA.ObjectNamingSupport.readGraph(String)	175	Low
DLS: Dead store to line in method joeq.Compiler.Analysis.IPA.ObjectNamingSupport.readSources(String)	239	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.ObjectNamingSupport.g	-1	Low

joeq.Compiler.Analysis.IPA.AnnotatedDirectedGraph

Violation	Line	Priority
Dm: Method joeq.Compiler.Analysis.IPA.AnnotatedDirectedGraph.getEdgeAnnote(String,Object) invokes toString() method on a String; just use the String	297	Normal

joeq.Compiler.Analysis.IPA.PACallGraph$BDDSet$1

Violation	Line	Priority
It: joeq.Compiler.Analysis.IPA.PACallGraph$BDDSet$1.next() can't throw NoSuchElement exception	114	Low

joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1

Violation	Line	Priority
It: joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1.next() can't throw NoSuchElement exception	156	Low
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1.next()	156	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1.next()	157	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1.next()	159	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1.next()	158	Normal

joeq.Compiler.Analysis.IPA.PAProxy

Violation	Line	Priority
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.VerifyAssertions doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Vmap doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Imap doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Hmap doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Fmap doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Tmap doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Nmap doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Mmap doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Iret doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Mret doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Ithr doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Mthr doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Fset doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Mset doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Nset doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Iset doesn't start with an lower case letter	-1	Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Zset doesn't start with an lower case letter	-1	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.VerifyAssertions from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	11	High
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.WRITE_PARESULTS_BATCHFILE from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	12	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.USE_JOEQ_CLASSLIBS from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	20	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.resultsFileName from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	44	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.callgraphFileName from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	45	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.initialCallgraphFileName from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	46	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.main_method from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	185	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.run_method from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	186	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.thread_runs from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	201	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.THREADS_ONLY from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	203	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.polyClasses from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	205	Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.MATCH_FACTORY from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA)	206	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.VerifyAssertions should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.WRITE_PARESULTS_BATCHFILE should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.USE_JOEQ_CLASSLIBS should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.resultsFileName should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.callgraphFileName should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.initialCallgraphFileName should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.main_method should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.run_method should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.thread_runs should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.THREADS_ONLY should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.polyClasses should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.MATCH_FACTORY should be package protected	-1	Normal

joeq.Compiler.Analysis.IPA.PAQuery$ConstParameterFinder

Violation	Line	Priority
DLS: Dead store to pointsTo in method joeq.Compiler.Analysis.IPA.PAQuery$ConstParameterFinder.isConst(net.sf.javabdd.TypedBDDFactory$TypedBDD,joeq.Class.jq_Method,boolean)	180	Normal

joeq.Compiler.Analysis.IPA.PAQuery$HeapReferenceStat

Violation	Line	Priority
DLS: Dead store to $l4 in method joeq.Compiler.Analysis.IPA.PAQuery$HeapReferenceStat.visitMethod(joeq.Class.jq_Method)	257	Low

joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider

Violation	Line	Priority
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realString from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	42	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realStringBuffer from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	43	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realHashMap from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	44	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realVector from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	45	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realHashtable from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	46	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realArrayList from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	47	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realLinkedList from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	48	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realCookie from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	49	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeString from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	53	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeStringBuffer from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	54	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeHashMap from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	55	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeVector from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	56	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeHashtable from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	57	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeArrayList from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	58	Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeLinkedList from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>()	59	Normal
UwF: Unwritten field: joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeCookie	-1	Normal

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary

Violation	Line	Priority
UCF: Useless control flow in joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.getRegister(joeq.Compiler.Quad.RegisterFactory$Register)	373	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.<init>(joeq.Compiler.Quad.ControlFlowGraph)	410	Normal
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.method	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.rf	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.param_nodes	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.my_global	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.start_states	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.returned	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.thrown	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.methodCalls	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.callToRVN	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.callToTEN	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.castMap	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.castPredecessors	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.passedAsParameter	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.bb	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.s	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.change	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.sync_ops	-1	Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.nodeCache	-1	Low
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.PATCH_UP_FAKE isn't final but should be	676	High

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node

Violation	Line	Priority
HE: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node defines hashCode and uses Object.equals()	-1	Low
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node.TRACK_REASONS isn't final but should be	1348	High

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$UnknownTypeNode

Violation	Line	Priority
UPM: Private method joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$UnknownTypeNode.addDummyEdges() is never called	2668	Low

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$State

Violation	Line	Priority
CN: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$State implements Cloneable but does not define or use clone method	-1	Normal

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$NodeSet$1

Violation	Line	Priority
It: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$NodeSet$1.next() can't throw NoSuchElement exception	3772	Normal

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary

Violation	Line	Priority
HE: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary defines hashCode and uses Object.equals()	-1	Low
EI2: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.<init>(MethodSummary$ParamNode[]) may expose internal representation by storing an externally mutable object into joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.params	4190	Normal
EI2: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.<init>(MethodSummary$BuildMethodSummary,joeq.Class.jq_Method,MethodSummary$ParamNode[],MethodSummary$GlobalNode,java.util.Set,java.util.Map,java.util.Map,java.util.Map,java.util.Set,java.util.Set,java.util.Set,java.util.Set,java.util.Map) may expose internal representation by storing an externally mutable object into joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.params	4219	Normal
NS: Questionable use of non-short-circuit logic in joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.getSummary(joeq.Class.jq_Method)	222	Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.unifyAccessPaths(java.util.Set)	4553	Normal
DLS: Dead store to n2 in method joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.unifyAccessPathEdges(MethodSummary$Node)	4584	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_FakeInstanceMethod in joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.main(String[])	5307	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_FakeInstanceMethod in joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.fakeMethodSummary(joeq.Class.jq_Method)	5366	Low
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.out isn't final but should be	111	High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.TRACE_INTRA isn't final and can't be protected from malicious code	112	Normal
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.TRACE_INTER isn't final and can't be protected from malicious code	113	Normal
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.TRACE_INST isn't final and can't be protected from malicious code	114	Normal
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.TRACE_DOT isn't final but should be	115	High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.SSA isn't final but should be	120	High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.ssaEntered isn't final but should be	127	High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.stringNodes2Values isn't final but should be	128	High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.summary_cache isn't final but should be	150	High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.clone_cache isn't final and can't be protected from malicious code	-1	Normal
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.CACHE_BUILDER isn't final but should be	4203	High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.fakeCloneName isn't final but should be	5409	High

joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$NewInstanceTargets

Violation	Line	Priority
RCN: Nullcheck at ReflectionInformationProvider.java:[line 81] of value previously dereferenced at joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$NewInstanceTargets.getClass(String)	81	High
SIC: Should joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$NewInstanceTargets be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$CribSheetReflectionInformationProvider

Violation	Line	Priority
NP: Possible null pointer dereference in joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$CribSheetReflectionInformationProvider.readSpec_old(String)	255	Normal
NP: Possible null pointer dereference in joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$CribSheetReflectionInformationProvider.readSpec(String)	281	Normal
OS: joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$CribSheetReflectionInformationProvider.readSpec_old(String) may fail to close stream on exception	252	Low
OS: joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$CribSheetReflectionInformationProvider.readSpec(String) may fail to close stream on exception	277	Low
UPM: Private method joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$CribSheetReflectionInformationProvider.readSpec_old(String) is never called	251	Low
DLS: Dead store to provider in method joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$CribSheetReflectionInformationProvider.main(String[])	242	High

joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider

Violation	Line	Priority
Dm: Method joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider.isReflective(joeq.Class.jq_Method) invokes toString() method on a String; just use the String	165	Normal
EC: Call to equals() comparing different types in joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider.isReflective(joeq.Class.jq_Method)	165	High

joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples$TupleSummary

Violation	Line	Priority
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples$TupleSummary.Iret doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples$TupleSummary.Ithr doesn't start with an lower case letter	-1	Low

joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples

Violation	Line	Priority
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Vmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Imap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Hmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Fmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Tmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Nmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Mmap doesn't start with an lower case letter	-1	Low
DLS: Dead store to $l5 in method joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.main(String[])	1167	Low
MS: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.TRACE isn't final but should be	238	High
MS: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.out isn't final but should be	239	High
MS: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.USE_HMAP isn't final but should be	276	High
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.aT	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.cha	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.clinit	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.f_access	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.fields	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.hT	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.m_access	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.methods	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.vT	-1	Low
UrF: Unread field: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.throwable_class	-1	Normal

joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Query$1

Violation	Line	Priority
Dm: joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Query$1.visitCFG(joeq.Compiler.Quad.ControlFlowGraph) invokes System.exit(...), which shuts down the entire virtual machine	274	Normal

joeq.Compiler.Analysis.IPSSA.SSAProcInfo

Violation	Line	Priority
CI: Class joeq.Compiler.Analysis.IPSSA.SSAProcInfo is final but declares protected field joeq.Compiler.Analysis.IPSSA.SSAProcInfo._queryMap	-1	Low
CI: Class joeq.Compiler.Analysis.IPSSA.SSAProcInfo is final but declares protected field joeq.Compiler.Analysis.IPSSA.SSAProcInfo._helperMap	-1	Low
MS: joeq.Compiler.Analysis.IPSSA.SSAProcInfo._queryMap isn't final but should be	29	High
MS: joeq.Compiler.Analysis.IPSSA.SSAProcInfo._helperMap isn't final but should be	30	High

joeq.Compiler.Analysis.IPSSA.SSAValue$Phi

Violation	Line	Priority
SBSC: Method joeq.Compiler.Analysis.IPSSA.SSAValue$Phi.toString() concatenates strings using + in a loop	199	Normal

joeq.Compiler.Analysis.IPSSA.SSAValue$Predicate

Violation	Line	Priority
Nm: The method name joeq.Compiler.Analysis.IPSSA.SSAValue$Predicate.True() doesn't start with an lower case letter	223	Normal
MS: joeq.Compiler.Analysis.IPSSA.SSAValue$Predicate.UNKNOWN isn't final but should be	214	High

joeq.Compiler.Analysis.IPSSA.SSAValue$Predicated

Violation	Line	Priority
SBSC: Method joeq.Compiler.Analysis.IPSSA.SSAValue$Predicated.toString() concatenates strings using + in a loop	252	Normal

joeq.Compiler.Analysis.IPSSA.SSAValue$FormalIn

Violation	Line	Priority
SBSC: Method joeq.Compiler.Analysis.IPSSA.SSAValue$FormalIn.toString() concatenates strings using + in a loop	334	Normal

joeq.Compiler.Analysis.IPSSA.SSAValue$ActualOut

Violation	Line	Priority
SBSC: Method joeq.Compiler.Analysis.IPSSA.SSAValue$ActualOut.toString() concatenates strings using + in a loop	373	Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage1Visitor

Violation	Line	Priority
REC: Method joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage1Visitor.print(joeq.Compiler.Quad.Quad,boolean) catches Exception, but Exception is not thrown in the try block and RuntimeException is not explicitly caught	566	Low
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage1Visitor._h	-1	Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder

Violation	Line	Priority
Dm: joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder.run(int) invokes System.exit(...), which shuts down the entire virtual machine	425	Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder$ApplicationLaunchingPad

Violation	Line	Priority
OS: joeq.Compiler.Analysis.IPSSA.IPSSABuilder$ApplicationLaunchingPad.readConfig() may fail to close stream	922	Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder

Violation	Line	Priority
Dm: joeq.Compiler.Analysis.IPSSA.IPSSABuilder.<init>(java.util.Collection,int) invokes System.exit(...), which shuts down the entire virtual machine	91	Normal
ST: Write to static field joeq.Compiler.Quad.CodeCache.AlwaysMap from instance method joeq.Compiler.Analysis.IPSSA.IPSSABuilder.<init>(java.util.Collection,int)	75	Normal
UPM: Private method joeq.Compiler.Analysis.IPSSA.IPSSABuilder.getOnlyUsedRegister(joeq.Compiler.Quad.Quad) is never called	861	Low

joeq.Compiler.Analysis.IPSSA.LocalPointerResults

Violation	Line	Priority
UCF: Useless control flow in joeq.Compiler.Analysis.IPSSA.LocalPointerResults.mod(joeq.Compiler.Analysis.IPA.ProgramLocation$QuadProgramLocation,joeq.Compiler.Quad.BasicBlock)	35	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPSSA.LocalPointerResults.ref(joeq.Compiler.Analysis.IPA.ProgramLocation$QuadProgramLocation,joeq.Compiler.Quad.BasicBlock)	46	Normal

joeq.Compiler.Analysis.Primitive.PrimitiveGenRelations

Violation	Line	Priority
DP: joeq.Compiler.Analysis.Primitive.PrimitiveGenRelations.addBDDLibraryToClasspath(String[]) creates a jwutil.classloader.HijackingClassLoader classloader, which should be performed within a doPrivileged block	50	Normal
Dm: joeq.Compiler.Analysis.Primitive.PrimitiveGenRelations.addBDDLibraryToClasspath(String[]) invokes System.exit(...), which shuts down the entire virtual machine	39	Low

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary

Violation	Line	Priority
NP: Possible null pointer dereference in joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.passParameter(joeq.Compiler.Quad.RegisterFactory$Register,joeq.Compiler.Analysis.IPA.ProgramLocation,int)	681	Normal
DLS: Dead store to $l2 in method joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.visitIntIfCmp(joeq.Compiler.Quad.Quad)	763	Normal
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.method	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.rf	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.param_nodes	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.my_global	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.start_states	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.returned	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.thrown	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.methodCalls	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.callToRVN	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.callToTEN	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.castMap	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.castPredecessors	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.passedAsParameter	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.bb	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.s	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.change	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.sync_ops	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.string_nodes	-1	Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.nodeCache	-1	Low

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node

Violation	Line	Priority
HE: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node defines hashCode and uses Object.equals()	-1	Low
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node.TRACK_REASONS isn't final but should be	1399	High

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$ConcreteObjectNode

Violation	Line	Priority
DLS: Dead store to a in method joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$ConcreteObjectNode.explore(java.util.List,Object)	2490	Normal

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$UnknownTypeNode

Violation	Line	Priority
UPM: Private method joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$UnknownTypeNode.addDummyEdges() is never called	2719	Low

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$State

Violation	Line	Priority
CN: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$State implements Cloneable but does not define or use clone method	-1	Normal

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$NodeSet$1

Violation	Line	Priority
It: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$NodeSet$1.next() can't throw NoSuchElement exception	3825	Normal

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary

Violation	Line	Priority
HE: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary defines hashCode and uses Object.equals()	-1	Low
EI2: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.<init>(PrimitiveMethodSummary$ParamNode[]) may expose internal representation by storing an externally mutable object into joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.params	4244	Normal
EI2: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.<init>(PrimitiveMethodSummary$BuildMethodSummary,joeq.Class.jq_Method,PrimitiveMethodSummary$ParamNode[],PrimitiveMethodSummary$GlobalNode,java.util.Set,java.util.Map,java.util.Map,java.util.Map,java.util.Set,java.util.Set,java.util.Set,java.util.Set,java.util.Map,java.util.Collection) may expose internal representation by storing an externally mutable object into joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.params	4275	Normal
NS: Questionable use of non-short-circuit logic in joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.getSummary(joeq.Class.jq_Method)	221	Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.unifyAccessPaths(java.util.Set)	4626	Normal
DLS: Dead store to n2 in method joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.unifyAccessPathEdges(PrimitiveMethodSummary$Node)	4657	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_FakeInstanceMethod in joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.fakeMethodSummary(joeq.Class.jq_Method)	5424	Low
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.out isn't final but should be	119	High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.TRACE_INTRA isn't final but should be	120	High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.TRACE_INTER isn't final but should be	121	High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.TRACE_INST isn't final but should be	122	High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.TRACE_DOT isn't final but should be	123	High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.SSA isn't final but should be	130	High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.ssaEntered isn't final but should be	137	High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.stringNodes2Values isn't final but should be	138	High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.summary_cache isn't final but should be	161	High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.clone_cache isn't final but should be	-1	High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.CACHE_BUILDER isn't final but should be	4258	High

joeq.Compiler.Analysis.Primitive.PrimitivePA$ToString

Violation	Line	Priority
DB: Method joeq.Compiler.Analysis.Primitive.PrimitivePA$ToString.elementName(int,java.math.BigInteger) uses the same code for two switch clauses	3513	Low
DB: Method joeq.Compiler.Analysis.Primitive.PrimitivePA$ToString.elementName(int,java.math.BigInteger) uses the same code for two switch clauses	3505	Low

joeq.Compiler.Analysis.Primitive.PrimitivePA$HeapPathSelector

Violation	Line	Priority
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA$HeapPathSelector.isImportant(Object,Object,java.math.BigInteger)	4243	Normal

joeq.Compiler.Analysis.Primitive.PrimitivePA$2

Violation	Line	Priority
Se: joeq.Compiler.Analysis.Primitive.PrimitivePA$2 implements Comparator but not Serializable	-1	Low
SIC: The class joeq.Compiler.Analysis.Primitive.PrimitivePA$2 could be refactored into a named _static_ inner class	-1	Low

joeq.Compiler.Analysis.Primitive.PrimitivePA$3

Violation	Line	Priority
Se: joeq.Compiler.Analysis.Primitive.PrimitivePA$3 implements Comparator but not Serializable	-1	Low
SIC: The class joeq.Compiler.Analysis.Primitive.PrimitivePA$3 could be refactored into a named _static_ inner class	-1	Low

joeq.Compiler.Analysis.Primitive.PrimitivePA

Violation	Line	Priority
NP: Load of known null value in joeq.Compiler.Analysis.Primitive.PrimitivePA.countCallGraph(joeq.Compiler.Quad.CallGraph,joeq.Compiler.Analysis.IPA.ObjectCreationGraph,boolean)	4096	Low
NP: Load of known null value in joeq.Compiler.Analysis.Primitive.PrimitivePA.countHeapNumbering(joeq.Compiler.Quad.CallGraph,boolean)	4401	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Vmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Imap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Hmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Fmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Tmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Nmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Mmap doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Iret doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Mret doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Ithr doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Mthr doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.ItoI2 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Fset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Mset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Nset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Iset doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Zset doesn't start with an lower case letter	-1	Low
ST: Write to static field joeq.Compiler.Analysis.Primitive.PrimitivePA.printed from instance method joeq.Compiler.Analysis.Primitive.PrimitivePA.getBDDDomains(net.sf.javabdd.BDD)	2037	High
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.Primitive.PrimitivePA.bindForName()	2519	Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.Primitive.PrimitivePA.bindForName()	2538	Low
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.Primitive.PrimitivePA.bindForName()	2544	Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.Primitive.PrimitivePA.bindForName()	2567	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.initializeBDD(String)	312	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.initializeBDD(String)	343	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.initializeBDD(String)	524	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.getV1V2Context(joeq.Class.jq_Method)	1066	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.run(String,joeq.Compiler.Quad.CallGraph,java.util.Collection)	3064	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.getV1H1Context(joeq.Class.jq_Method)	4474	Normal
UPM: Private method joeq.Compiler.Analysis.Primitive.PrimitivePA.makeHQuadbdd() is never called	5211	Low
UPM: Private method joeq.Compiler.Analysis.Primitive.PrimitivePA.dumpCallGraphAsDot(joeq.Compiler.Quad.CallGraph,String) is never called	3525	Normal
DLS: Dead store to s in method joeq.Compiler.Analysis.Primitive.PrimitivePA.visitMethod(joeq.Class.jq_Method)	1011	High
DLS: Dead store to H_i in method joeq.Compiler.Analysis.Primitive.PrimitivePA.bindReflectionsWithCasts()	2460	Low
DLS: Dead store to cn in method joeq.Compiler.Analysis.Primitive.PrimitivePA.bindForName()	2515	Low
DLS: Dead store to roots in method joeq.Compiler.Analysis.Primitive.PrimitivePA.loadCallGraph(java.util.Collection)	3016	Normal
FE: Test for floating point equality in joeq.Compiler.Analysis.Primitive.PrimitivePA.saveForNameStats().	3279	Low
MS: joeq.Compiler.Analysis.Primitive.PrimitivePA.TRACE_REFLECTION isn't final but should be	174	High
MS: joeq.Compiler.Analysis.Primitive.PrimitivePA.TRACE_REFLECTION_DOMAINS isn't final but should be	175	High
MS: joeq.Compiler.Analysis.Primitive.PrimitivePA.fakeCloneName isn't final but should be	1188	High
MS: joeq.Compiler.Analysis.Primitive.PrimitivePA.THREADS_ONLY isn't final but should be	4135	High
MS: joeq.Compiler.Analysis.Primitive.PrimitivePA.MATCH_FACTORY isn't final but should be	4202	High
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.A	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.F	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Fmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1cdomain	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1set	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.H2	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Hmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.I	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.IE	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.IEcs	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.IEfilter	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.IMset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.INset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Imap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Iret	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Iset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Ithr	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.L	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.M	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.M2	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.MZset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Mmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Mret	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Mset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Mthr	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.N	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.NNfilter	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Nmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.S	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.T1	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.T1set	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.T2	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.T2Nset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Tmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1H1correspondence	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1cdomain	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1set	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V2	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V2cdomain	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V2cset	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Vmap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Z	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.aT	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.actual	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.bdd	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.bddIRBuilder	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.cha	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.fC	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.fT	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.forNameMap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.formal	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.hCnumbering	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.hP	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.hPfilter	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.hT	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.mI	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.mSync	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.mV	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.oCnumbering	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old1_A	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old1_L	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old1_S	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old1_hP	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old1_vP	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old2_myIE	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old2_visited	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old3_hT	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old3_t3	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old3_t4	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old3_vP	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.polyClasses	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.rangeMap	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.staticCalls	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.sync	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.threadNumbers	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.threadRuns	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.vCnumbering	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.vP	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.vPfilter	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.vT	-1	Low
UwF: Unwritten field: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1toV1c	-1	Normal
UwF: Unwritten field: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1cH1equals	-1	Normal
UwF: Unwritten field: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1csets	-1	Normal
UwF: Field only ever set to null: joeq.Compiler.Analysis.Primitive.PrimitivePA.ocg	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1H2set	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1cH2cset	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.H2Fset	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.INH1set	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.INT2set	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.T2toT1	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1Fset	-1	Normal
UuF: Unused field: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1ctoH1	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.V2Fset	-1	Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.hQuad	-1	Normal

joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper$OfflineSubtypeHelper

Violation	Line	Priority
OS: joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper$OfflineSubtypeHelper.initializeSubclasses() may fail to close stream	136	Normal

joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$BDDSet$1

Violation	Line	Priority
It: joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$BDDSet$1.next() can't throw NoSuchElement exception	115	Low

joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1

Violation	Line	Priority
It: joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1.next() can't throw NoSuchElement exception	156	Low
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1.next()	159	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1.next()	156	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1.next()	158	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1.next()	157	Normal

joeq.Compiler.Reference.x86.x86ReferenceCompiler

Violation	Line	Priority
Dm: Method joeq.Compiler.Reference.x86.x86ReferenceCompiler.<init>(joeq.Class.jq_Method) invokes toString() method on a String; just use the String	104	Normal
Nm: The class name joeq.Compiler.Reference.x86.x86ReferenceCompiler doesn't start with an upper case letter	-1	Normal
RI: Class joeq.Compiler.Reference.x86.x86ReferenceCompiler implements same interface as superclass.	-1	Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Class in joeq.Compiler.Reference.x86.x86ReferenceCompiler.visitNEW(joeq.Class.jq_Type)	2514	Low
DB: Method joeq.Compiler.Reference.x86.x86ReferenceCompiler.INVOKEhelper(byte,joeq.Class.jq_Method) uses the same code for two switch clauses	2407	Low
MS: joeq.Compiler.Reference.x86.x86ReferenceCompiler.ALWAYS_TRACE isn't final but should be	84	High
MS: joeq.Compiler.Reference.x86.x86ReferenceCompiler.TRACE_STUBS isn't final but should be	85	High
MS: joeq.Compiler.Reference.x86.x86ReferenceCompiler.THREAD_BLOCK_PREFIX isn't final but should be	2610	High
MS: joeq.Compiler.Reference.x86.x86ReferenceCompiler.THREAD_BLOCK_OFFSET isn't final but should be	2611	High
UwF: Field not initialized in constructor: joeq.Compiler.Reference.x86.x86ReferenceCompiler.asm	-1	Low

joeq.Compiler.Reference.x86.x86ReferenceExceptionDeliverer

Violation	Line	Priority
Nm: The class name joeq.Compiler.Reference.x86.x86ReferenceExceptionDeliverer doesn't start with an upper case letter	-1	Normal
MS: joeq.Compiler.Reference.x86.x86ReferenceExceptionDeliverer.TRACE isn't final but should be	23	High

joeq.Compiler.Reference.x86.x86ReferenceLinker

Violation	Line	Priority
Nm: The class name joeq.Compiler.Reference.x86.x86ReferenceLinker doesn't start with an upper case letter	-1	Normal
MS: joeq.Compiler.Reference.x86.x86ReferenceLinker.TRACE isn't final but should be	28	High

joeq.Compiler.Analysis.IPSSA.Apps.FindBadStores

Violation	Line	Priority
ST: Write to static field joeq.Compiler.Analysis.IPSSA.Apps.FindBadStores._cg from instance method joeq.Compiler.Analysis.IPSSA.Apps.FindBadStores.<init>(java.util.Iterator)	100	Normal
ST: Write to static field joeq.Compiler.Analysis.IPSSA.Apps.FindBadStores._serializableClass from instance method joeq.Compiler.Analysis.IPSSA.Apps.FindBadStores.<init>(java.util.Iterator)	114	Normal

joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassComparator

Violation	Line	Priority
Se: joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassComparator implements Comparator but not Serializable	-1	Normal
Dm: Method joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassComparator.compare(Object,Object) invokes dubious String.toUpperCase() or String.toLowerCase; use the Locale parameterized version instead	184	Low
SIC: Should joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassComparator be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy

Violation	Line	Priority
UCF: Useless control flow in joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy.makeHierarchy()	138	Normal
SIO: Method joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy.makeHierarchy() does an unnecessary type check using instanceof operator when it can be determined statically	138	Low

joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations

Violation	Line	Priority
ST: Write to static field joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations._cg from instance method joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations.<init>(java.util.Iterator)	325	Normal
UPM: Private method joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations.printCollection(java.util.Collection) is never called	455	Low
UPM: Private method joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations.filter(java.util.Set,java.util.Collection) is never called	367	Low
DLS: Dead store to thisNodeReturn in method joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations.tryToProve(ResultCorrelation)	642	Normal

joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership$SimpleOwnershipFinder$OwnershipValue

Violation	Line	Priority
DLS: Dead store to result in method joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership$SimpleOwnershipFinder$OwnershipValue.meet(FindOwnership$SimpleOwnershipFinder$OwnershipValue,FindOwnership$SimpleOwnershipFinder$OwnershipValue)	306	High

joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership$SimpleOwnershipFinder

Violation	Line	Priority
DLS: Dead store to result in method joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership$SimpleOwnershipFinder.getInitValue(joeq.Class.jq_Method)	188	High

joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp

Violation	Line	Priority
Dm: joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp.usage(String[]) invokes System.exit(...), which shuts down the entire virtual machine	43	Low

joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec$PAObjectSpec

Violation	Line	Priority
DMI: Invocation of toString on an array in joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec$PAObjectSpec.toString()	84	Normal

joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$SingleIterator

Violation	Line	Priority
It: joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$SingleIterator.next() can't throw NoSuchElement exception	30	Normal

joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$EmptyIterator

Violation	Line	Priority
It: joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$EmptyIterator.next() can't throw NoSuchElement exception	43	Normal

joeq.Compiler.Analysis.IPSSA.Utils.ReachabilityTrace

Violation	Line	Priority
CN: clone method joeq.Compiler.Analysis.IPSSA.Utils.ReachabilityTrace.clone() does not call super.clone()	29	Normal

joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$TestSimpleDominatorQuery

Violation	Line	Priority
Nm: The method name joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$TestSimpleDominatorQuery.Main(String[]) doesn't start with an lower case letter	259	Normal
ST: Write to static field joeq.Compiler.Quad.CodeCache.AlwaysMap from instance method joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$TestSimpleDominatorQuery.<init>()	250	Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$TestSimpleDominatorQuery.Main(String[])	262	Normal
ES: Comparison of String objects using == or != in joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$TestSimpleDominatorQuery.Main(String[])	262	Low

joeq.ClassLib.Common.java.io.FileDescriptor

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.io.FileDescriptor.initIDs() is never called	25	Low

joeq.ClassLib.Common.java.io.FileInputStream

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.io.FileInputStream.open(String) is never called	21	Low
UPM: Private method joeq.ClassLib.Common.java.io.FileInputStream.initIDs() is never called	88	Low
DLS: Dead store to b2 in method joeq.ClassLib.Common.java.io.FileInputStream.readBytes(byte[],int,int,FileDescriptor)	41	Low
DLS: Dead store to result in method joeq.ClassLib.Common.java.io.FileInputStream.close()	83	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.FileInputStream.fd	-1	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.FileInputStream.available()	62	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.FileInputStream.open(String)	23	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.FileInputStream.skip(long)	54	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.FileInputStream.close()	82	Normal

joeq.ClassLib.Common.java.io.FileOutputStream

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.io.FileOutputStream.initIDs() is never called	60	Low
UPM: Private method joeq.ClassLib.Common.java.io.FileOutputStream.writeBytes(byte[],int,int) is never called	36	Normal
UPM: Private method joeq.ClassLib.Common.java.io.FileOutputStream.openAppend(String) is never called	25	Low
UPM: Private method joeq.ClassLib.Common.java.io.FileOutputStream.open(String) is never called	20	Low
DLS: Dead store to b2 in method joeq.ClassLib.Common.java.io.FileOutputStream.writeBytes(byte[],int,int,FileDescriptor)	44	Low
DLS: Dead store to result in method joeq.ClassLib.Common.java.io.FileOutputStream.close()	55	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.FileOutputStream.fd	-1	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.FileOutputStream.close()	54	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.FileOutputStream.write(int)	30	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.FileOutputStream.openAppend(String)	27	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.FileOutputStream.open(String)	22	Normal

joeq.ClassLib.Common.java.io.FileSystem

Violation	Line	Priority
DP: joeq.ClassLib.Common.java.io.FileSystem.<clinit>() invokes java.lang.reflect.Method.setAccessible(boolean), which should be invoked from within a doPrivileged block	33	Low

joeq.ClassLib.Common.java.io.ObjectInputStream

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.io.ObjectInputStream.setPrimitiveFieldValues(Object,long[],char[],byte[]) is never called	47	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectInputStream.setObjectFieldValue(Object,long,Class,Object) is never called	50	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectInputStream.allocateNewArray(Class,int) is never called	83	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectInputStream.bytesToFloats(byte[],int,float[],int,int) is never called	33	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectInputStream.latestUserDefinedLoader() is never called	30	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectInputStream.allocateNewObject(Class,Class) is never called	55	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectInputStream.bytesToDoubles(byte[],int,double[],int,int) is never called	40	Low

joeq.ClassLib.Common.java.io.ObjectOutputStream

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.io.ObjectOutputStream.floatsToBytes(float[],int,byte[],int,int) is never called	19	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectOutputStream.getObjectFieldValue(Object,long) is never called	36	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectOutputStream.getPrimitiveFieldValues(Object,long[],char[],byte[]) is never called	33	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectOutputStream.doublesToBytes(double[],int,byte[],int,int) is never called	26	Low

joeq.ClassLib.Common.java.io.ObjectStreamClass

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.io.ObjectStreamClass.getFieldIDs(java.io.ObjectStreamField[],long[],long[]) is never called	20	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectStreamClass.hasStaticInitializer(Class) is never called	23	Low
UPM: Private method joeq.ClassLib.Common.java.io.ObjectStreamClass.initNative() is never called	18	Low

joeq.ClassLib.Common.java.io.RandomAccessFile

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.io.RandomAccessFile.writeBytes(byte[],int,int) is never called	64	Normal
UPM: Private method joeq.ClassLib.Common.java.io.RandomAccessFile.initIDs() is never called	119	Low
DLS: Dead store to b2 in method joeq.ClassLib.Common.java.io.RandomAccessFile.readBytes(byte[],int,int,FileDescriptor)	45	Low
DLS: Dead store to b2 in method joeq.ClassLib.Common.java.io.RandomAccessFile.writeBytes(byte[],int,int,FileDescriptor)	72	Low
DLS: Dead store to result in method joeq.ClassLib.Common.java.io.RandomAccessFile.close()	114	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.RandomAccessFile.fd	-1	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.RandomAccessFile.write(int)	58	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.RandomAccessFile.open(String,boolean)	27	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.RandomAccessFile.getFilePointer()	82	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.RandomAccessFile.close()	113	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.RandomAccessFile.seek(long)	91	Normal
NP: Read of unwritten field in joeq.ClassLib.Common.java.io.RandomAccessFile.length()	97	Normal

joeq.ClassLib.Common.java.io.UnixFileSystem

Violation	Line	Priority
PZLA: Should joeq.ClassLib.Common.java.io.UnixFileSystem.list(java.io.File) return a zero length array rather than null?	51	Low
UPM: Private method joeq.ClassLib.Common.java.io.UnixFileSystem.initIDs() is never called	225	Low
MS: joeq.ClassLib.Common.java.io.UnixFileSystem._access should be package protected	-1	Normal

joeq.ClassLib.Common.java.io.Win32FileSystem

Violation	Line	Priority
PZLA: Should joeq.ClassLib.Common.java.io.Win32FileSystem.list(java.io.File) return a zero length array rather than null?	96	Low
UPM: Private method joeq.ClassLib.Common.java.io.Win32FileSystem.listRoots0() is never called	136	Low
UPM: Private method joeq.ClassLib.Common.java.io.Win32FileSystem.initIDs() is never called	139	Low

joeq.ClassLib.Common.java.lang.Class

Violation	Line	Priority
Dm: Method joeq.ClassLib.Common.java.lang.Class.getName() invokes toString() method on a String; just use the String	121	Normal
EI: joeq.ClassLib.Common.java.lang.Class.getSigners() may expose internal representation by returning joeq.ClassLib.Common.java.lang.Class.signers	168	Normal
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getMethod0(String,Class[],int) is never called	369	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.registerNatives() is never called	46	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getProtectionDomain0() is never called	182	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getDeclaredClasses0() is never called	432	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getFields0(int) is never called	203	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getField0(String,int) is never called	330	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getConstructors0(int) is never called	303	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getConstructor0(Class[],int) is never called	419	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getMethods0(int) is never called	246	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.newInstance0() is never called	63	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.forName0(String,boolean,ClassLoader) is never called	51	Low
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Class to class java.lang.Class in joeq.ClassLib.Common.java.lang.Class.createNewClass(joeq.Class.jq_Type)	439	High
BC: Impossible cast from java.lang.Class to class joeq.ClassLib.Common.java.lang.Class in joeq.ClassLib.Common.java.lang.Class.getJQType(Class)	444	High

joeq.ClassLib.Common.java.lang.ClassLoader

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.lang.ClassLoader.findBootstrapClass(String) is never called	122	Low
UPM: Private method joeq.ClassLib.Common.java.lang.ClassLoader.resolveClass0(Class) is never called	118	Low
BC: Impossible cast from joeq.Class.PrimordialClassLoader to class joeq.ClassLib.Common.java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getSystemClassLoader()	75	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.ClassLoader to class java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getSystemClassLoader()	95	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.ClassLoader to class java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.defineClass0(String,byte[],int,int,java.security.ProtectionDomain)	110	High
BC: Impossible cast from java.lang.ClassLoader to class joeq.ClassLib.Common.java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getCallerClassLoader()	155	High
BC: Impossible cast from java.lang.ClassLoader to class joeq.ClassLib.Common.java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getOrCreateType(ClassLoader,joeq.UTF.Utf8)	167	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.ClassLoader to class java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getOrCreateType(joeq.UTF.Utf8)	177	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.ClassLoader to class java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getOrCreateType(joeq.UTF.Utf8)	185	High
Nm: Confusing to have methods joeq.ClassLib.Common.java.lang.ClassLoader.isAncestor(ClassLoader) and java.lang.ClassLoader.isAncestor(ClassLoader)	-1	Low

joeq.ClassLib.Common.java.lang.Object

Violation	Line	Priority
HE: joeq.ClassLib.Common.java.lang.Object defines hashCode and uses Object.equals()	-1	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Object.registerNatives() is never called	22	Low

joeq.ClassLib.Common.java.lang.Package

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.lang.Package.getSystemPackages0() is never called	24	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Package.getSystemPackage0(String) is never called	16	Low

joeq.ClassLib.Common.java.lang.Runtime

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.lang.Runtime.runFinalization0() is never called	38	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Runtime.execInternal(String[],String[],String) is never called	21	Low

joeq.ClassLib.Common.java.lang.Shutdown

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.lang.Shutdown.runAllFinalizers() is never called	23	Low

joeq.ClassLib.Common.java.lang.String

Violation	Line	Priority
BC: Impossible cast from joeq.ClassLib.Common.java.lang.String to class java.lang.String in joeq.ClassLib.Common.java.lang.String.intern()	19	High

joeq.ClassLib.Common.java.lang.System

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.lang.System.setIn0(java.io.InputStream) is never called	29	Low
UPM: Private method joeq.ClassLib.Common.java.lang.System.setOut0(java.io.PrintStream) is never called	32	Low
UPM: Private method joeq.ClassLib.Common.java.lang.System.registerNatives() is never called	27	Low
UPM: Private method joeq.ClassLib.Common.java.lang.System.setErr0(java.io.PrintStream) is never called	35	Low

joeq.ClassLib.Common.java.lang.Thread

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.suspend0() is never called	126	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.stop0(Object) is never called	122	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.interrupt0() is never called	134	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.setPriority0(int) is never called	116	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.resume0() is never called	130	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.registerNatives() is never called	86	Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.isInterrupted(boolean) is never called	95	Low
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>()	34	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(Runnable)	42	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(ThreadGroup,Runnable)	50	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(String)	58	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(ThreadGroup,String)	65	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(Runnable,String)	72	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(ThreadGroup,Runnable,String)	79	High

joeq.ClassLib.Common.java.lang.Throwable

Violation	Line	Priority
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Throwable to class java.lang.Throwable in joeq.ClassLib.Common.java.lang.Throwable.fillInStackTrace()	33	High

joeq.ClassLib.Common.java.net.Inet4AddressImpl$hostent

Violation	Line	Priority
Nm: The class name joeq.ClassLib.Common.java.net.Inet4AddressImpl$hostent doesn't start with an upper case letter	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.net.Inet4AddressImpl$hostent.h_addr_list	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.net.Inet4AddressImpl$hostent.h_addrtype	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.net.Inet4AddressImpl$hostent.h_length	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.net.Inet4AddressImpl$hostent.h_name	-1	Normal

joeq.ClassLib.Common.java.security.AccessController

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.security.AccessController.getStackAccessControlContext() is never called	48	Low

joeq.ClassLib.Common.java.util.ResourceBundle

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.util.ResourceBundle.getClassContext() is never called	21	Low

joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation

Violation	Line	Priority
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.Bias doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName0 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName1 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName2 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName3 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardBias doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName0 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName1 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName2 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName3 doesn't start with an lower case letter	-1	Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightBias doesn't start with an lower case letter	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.Bias	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wDay	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wDayOfWeek	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wHour	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wMilliseconds	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wMinute	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wMonth	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wSecond	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wYear	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardBias	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wDay	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wDayOfWeek	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wHour	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wMilliseconds	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wMinute	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wMonth	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wSecond	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wYear	-1	Low
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightBias	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName0	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName1	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName2	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName3	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName0	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName1	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName2	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName3	-1	Normal

joeq.ClassLib.Common.java.util.TimeZone

Violation	Line	Priority
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone.GetTimeZoneInformation doesn't start with an lower case letter	-1	Low
UPM: Private method joeq.ClassLib.Common.java.util.TimeZone.getSystemGMTOffsetID() is never called	60	Low
UPM: Private method joeq.ClassLib.Common.java.util.TimeZone.getSystemTimeZoneID(String,String) is never called	34	Low

joeq.ClassLib.Common.sun.misc.AtomicLong

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.sun.misc.AtomicLong.VMSupportsCS8() is never called	14	Low

joeq.ClassLib.apple13_osx.java.lang.Thread

Violation	Line	Priority
UPM: Private method joeq.ClassLib.apple13_osx.java.lang.Thread.init(ThreadGroup,Runnable,String) is never called	19	Normal
BC: Impossible cast from joeq.ClassLib.apple13_osx.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.apple13_osx.java.lang.Thread.<init>(ThreadGroup,Runnable,boolean)	26	High
BC: Impossible cast from joeq.ClassLib.apple13_osx.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.apple13_osx.java.lang.Thread.<init>(ThreadGroup,String,boolean)	35	High

joeq.ClassLib.ibm13_linux.java.lang.Class

Violation	Line	Priority
UPM: Private method joeq.ClassLib.ibm13_linux.java.lang.Class.newInstance2(Class) is never called	34	Low
UPM: Private method joeq.ClassLib.ibm13_linux.java.lang.Class.forName1(String) is never called	26	Low

joeq.ClassLib.ibm13_linux.java.lang.System

Violation	Line	Priority
UPM: Private method joeq.ClassLib.ibm13_linux.java.lang.System.initProperties(java.util.Properties) is never called	17	Low

joeq.ClassLib.ibm13_win32.java.lang.Class

Violation	Line	Priority
UPM: Private method joeq.ClassLib.ibm13_win32.java.lang.Class.newInstance2(Class) is never called	34	Low
UPM: Private method joeq.ClassLib.ibm13_win32.java.lang.Class.forName1(String) is never called	26	Low

joeq.ClassLib.ibm13_win32.java.lang.System

Violation	Line	Priority
UPM: Private method joeq.ClassLib.ibm13_win32.java.lang.System.initProperties(java.util.Properties) is never called	17	Low

joeq.ClassLib.pa.java.security.AccessController

Violation	Line	Priority
UPM: Private method joeq.ClassLib.pa.java.security.AccessController.getStackAccessControlContext() is never called	48	Low

joeq.ClassLib.sun13_linux.java.lang.System

Violation	Line	Priority
UPM: Private method joeq.ClassLib.sun13_linux.java.lang.System.initProperties(java.util.Properties) is never called	17	Low

joeq.ClassLib.sun13_win32.java.io.Win32FileSystem

Violation	Line	Priority
UPM: Private method joeq.ClassLib.sun13_win32.java.io.Win32FileSystem.getDriveDirectory(int) is never called	19	Low

joeq.ClassLib.sun13_win32.java.lang.System

Violation	Line	Priority
UPM: Private method joeq.ClassLib.sun13_win32.java.lang.System.initProperties(java.util.Properties) is never called	18	Low

joeq.ClassLib.sun14_linux.java.io.RandomAccessFile

Violation	Line	Priority
UCF: Useless control flow in joeq.ClassLib.sun14_linux.java.io.RandomAccessFile.open(String,int)	28	Normal
UCF: Useless control flow in joeq.ClassLib.sun14_linux.java.io.RandomAccessFile.open(String,int)	32	Normal
UwF: Unwritten field: joeq.ClassLib.sun14_linux.java.io.RandomAccessFile.fd	-1	Normal
NP: Read of unwritten field in joeq.ClassLib.sun14_linux.java.io.RandomAccessFile.open(String,int)	38	Normal

joeq.ClassLib.sun14_linux.java.lang.Class

Violation	Line	Priority
UCF: Useless control flow in joeq.ClassLib.sun14_linux.java.lang.Class.getDeclaredMethods0(boolean)	38	Normal
UCF: Useless control flow in joeq.ClassLib.sun14_linux.java.lang.Class.getDeclaredConstructors0(boolean)	45	Normal
UPM: Private method joeq.ClassLib.sun14_linux.java.lang.Class.getDeclaredFields0(boolean) is never called	19	Low
UPM: Private method joeq.ClassLib.sun14_linux.java.lang.Class.getDeclaredConstructors0(boolean) is never called	44	Low
UPM: Private method joeq.ClassLib.sun14_linux.java.lang.Class.getDeclaredMethods0(boolean) is never called	37	Low
UPM: Private method joeq.ClassLib.sun14_linux.java.lang.Class.desiredAssertionStatus0(Class) is never called	53	Low

joeq.ClassLib.sun14_linux.java.lang.System

Violation	Line	Priority
UPM: Private method joeq.ClassLib.sun14_linux.java.lang.System.initProperties(java.util.Properties) is never called	55	Low
UPM: Private method joeq.ClassLib.sun14_linux.java.lang.System.setOut0(java.io.PrintStream) is never called	-1	Low
UPM: Private method joeq.ClassLib.sun14_linux.java.lang.System.setIn0(java.io.InputStream) is never called	-1	Low
UPM: Private method joeq.ClassLib.sun14_linux.java.lang.System.setErr0(java.io.PrintStream) is never called	-1	Low

joeq.ClassLib.sun14_linux.java.lang.Thread

Violation	Line	Priority
UPM: Private method joeq.ClassLib.sun14_linux.java.lang.Thread.init(ThreadGroup,Runnable,String) is never called	19	Normal
BC: Impossible cast from joeq.ClassLib.sun14_linux.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.sun14_linux.java.lang.Thread.<init>(ThreadGroup,Runnable,String,long)	25	High

joeq.ClassLib.sun14_linux.java.lang.Throwable

Violation	Line	Priority
BC: Impossible cast from joeq.ClassLib.sun14_linux.java.lang.Throwable to class java.lang.Throwable in joeq.ClassLib.sun14_linux.java.lang.Throwable.fillInStackTrace()	59	High

joeq.ClassLib.sun14_win32.java.io.RandomAccessFile

Violation	Line	Priority
UCF: Useless control flow in joeq.ClassLib.sun14_win32.java.io.RandomAccessFile.open(String,int)	28	Normal
UCF: Useless control flow in joeq.ClassLib.sun14_win32.java.io.RandomAccessFile.open(String,int)	32	Normal
UwF: Unwritten field: joeq.ClassLib.sun14_win32.java.io.RandomAccessFile.fd	-1	Normal
NP: Read of unwritten field in joeq.ClassLib.sun14_win32.java.io.RandomAccessFile.open(String,int)	38	Normal

joeq.ClassLib.sun14_win32.java.io.WinNTFileSystem

Violation	Line	Priority
UPM: Private method joeq.ClassLib.sun14_win32.java.io.WinNTFileSystem.initIDs() is never called	27	Low

joeq.ClassLib.sun14_win32.java.lang.Class

Violation	Line	Priority
UCF: Useless control flow in joeq.ClassLib.sun14_win32.java.lang.Class.getDeclaredMethods0(boolean)	36	Normal
UCF: Useless control flow in joeq.ClassLib.sun14_win32.java.lang.Class.getDeclaredConstructors0(boolean)	43	Normal
UPM: Private method joeq.ClassLib.sun14_win32.java.lang.Class.getDeclaredConstructors0(boolean) is never called	42	Low
UPM: Private method joeq.ClassLib.sun14_win32.java.lang.Class.desiredAssertionStatus0(Class) is never called	51	Low
UPM: Private method joeq.ClassLib.sun14_win32.java.lang.Class.getDeclaredFields0(boolean) is never called	17	Low
UPM: Private method joeq.ClassLib.sun14_win32.java.lang.Class.getDeclaredMethods0(boolean) is never called	35	Low

joeq.ClassLib.sun14_win32.java.lang.System

Violation	Line	Priority
UPM: Private method joeq.ClassLib.sun14_win32.java.lang.System.initProperties(java.util.Properties) is never called	53	Low
UPM: Private method joeq.ClassLib.sun14_win32.java.lang.System.setOut0(java.io.PrintStream) is never called	-1	Low
UPM: Private method joeq.ClassLib.sun14_win32.java.lang.System.setIn0(java.io.InputStream) is never called	-1	Low
UPM: Private method joeq.ClassLib.sun14_win32.java.lang.System.setErr0(java.io.PrintStream) is never called	-1	Low

joeq.ClassLib.sun14_win32.java.lang.Thread

Violation	Line	Priority
UPM: Private method joeq.ClassLib.sun14_win32.java.lang.Thread.init(ThreadGroup,Runnable,String) is never called	17	Normal
BC: Impossible cast from joeq.ClassLib.sun14_win32.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.sun14_win32.java.lang.Thread.<init>(ThreadGroup,Runnable,String,long)	23	High

joeq.ClassLib.sun14_win32.java.lang.Throwable

Violation	Line	Priority
BC: Impossible cast from joeq.ClassLib.sun14_win32.java.lang.Throwable to class java.lang.Throwable in joeq.ClassLib.sun14_win32.java.lang.Throwable.fillInStackTrace()	59	High

joeq.ClassLib.sun15_linux.java.lang.System

Violation	Line	Priority
UPM: Private method joeq.ClassLib.sun15_linux.java.lang.System.initProperties(java.util.Properties) is never called	25	Low
UuF: Unused field: joeq.ClassLib.sun15_linux.java.lang.System.props	-1	Normal

joeq.ClassLib.sun15_win32.java.lang.System

Violation	Line	Priority
UPM: Private method joeq.ClassLib.sun15_win32.java.lang.System.initProperties(java.util.Properties) is never called	25	Low
UuF: Unused field: joeq.ClassLib.sun15_win32.java.lang.System.props	-1	Normal

joeq.ClassLib.Common.java.lang.reflect.Array

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.lang.reflect.Array.newArray(Class,int) is never called	202	Low
UPM: Private method joeq.ClassLib.Common.java.lang.reflect.Array.multiNewArray(Class,int[]) is never called	211	Low

joeq.ClassLib.Common.java.lang.reflect.Constructor

Violation	Line	Priority
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_Initializer in joeq.ClassLib.Common.java.lang.reflect.Constructor.<init>(Class,Class[],Class[],int,int)	64	Low
BC: Impossible cast from joeq.ClassLib.Common.java.lang.reflect.Constructor to class java.lang.reflect.Constructor in joeq.ClassLib.Common.java.lang.reflect.Constructor.createNewConstructor(joeq.Class.jq_Initializer)	90	High
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Constructor.exceptionTypes	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Constructor.modifiers	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Constructor.parameterTypes	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Constructor.slot	-1	Normal

joeq.ClassLib.Common.java.lang.reflect.Field

Violation	Line	Priority
HE: joeq.ClassLib.Common.java.lang.reflect.Field defines equals and uses Object.hashCode()	86	High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.reflect.Field to class java.lang.reflect.Field in joeq.ClassLib.Common.java.lang.reflect.Field.createNewField(joeq.Class.jq_Field)	821	High
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Field.modifiers	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Field.name	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Field.slot	-1	Normal

joeq.ClassLib.Common.java.lang.reflect.Method

Violation	Line	Priority
BC: Impossible cast from joeq.ClassLib.Common.java.lang.reflect.Method to class java.lang.reflect.Method in joeq.ClassLib.Common.java.lang.reflect.Method.createNewMethod(joeq.Class.jq_Method)	130	High
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Method.exceptionTypes	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Method.modifiers	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Method.name	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Method.parameterTypes	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Method.returnType	-1	Normal
UrF: Unread field: joeq.ClassLib.Common.java.lang.reflect.Method.slot	-1	Normal

joeq.ClassLib.Common.java.lang.reflect.Proxy

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.lang.reflect.Proxy.defineClass0(joeq.ClassLib.Common.java.lang.ClassLoader,String,byte[],int,int) is never called	14	Low

joeq.ClassLib.Common.java.util.zip.Deflater

Violation	Line	Priority
FI: joeq.ClassLib.Common.java.util.zip.Deflater.finalize() does nothing except call super.finalize(); delete it	230	Normal
UPM: Private method joeq.ClassLib.Common.java.util.zip.Deflater.initIDs() is never called	14	Low
UuF: Unused field: joeq.ClassLib.Common.java.util.zip.Deflater.strategy	-1	Normal

joeq.ClassLib.Common.java.util.zip.Inflater

Violation	Line	Priority
FI: joeq.ClassLib.Common.java.util.zip.Inflater.finalize() does nothing except call super.finalize(); delete it	729	Normal
SF: Switch statement found in joeq.ClassLib.Common.java.util.zip.Inflater.decodeHuffman() where one case falls thru to the next case	359	Normal
SF: Switch statement found in joeq.ClassLib.Common.java.util.zip.Inflater.decode() where one case falls thru to the next case	475	Normal
UPM: Private method joeq.ClassLib.Common.java.util.zip.Inflater.initIDs() is never called	18	Low

joeq.ClassLib.Common.java.util.zip.ZipFile

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.util.zip.ZipFile.initIDs() is never called	30	Low
UPM: Private method joeq.ClassLib.Common.java.util.zip.ZipFile.freeEntry(long,long) is never called	436	Low
UPM: Private method joeq.ClassLib.Common.java.util.zip.ZipFile.readCEN() is never called	295	Low
UPM: Private method joeq.ClassLib.Common.java.util.zip.ZipFile.getInputStream(String) is never called	88	Normal
BC: Impossible cast from java.util.zip.ZipEntry to class joeq.ClassLib.Common.java.util.zip.ZipEntry in joeq.ClassLib.Common.java.util.zip.ZipFile.getInputStream(String)	89	High

joeq.ClassLib.Common.java.util.zip.ZipEntry

Violation	Line	Priority
UPM: Private method joeq.ClassLib.Common.java.util.zip.ZipEntry.initIDs() is never called	90	Low

joeq.ClassLib.ibm13_linux.com.ibm.jvm.ExtendedSystem

Violation	Line	Priority
UPM: Private method joeq.ClassLib.ibm13_linux.com.ibm.jvm.ExtendedSystem.resizeArray(int,Object,int,int) is never called	22	Low
UPM: Private method joeq.ClassLib.ibm13_linux.com.ibm.jvm.ExtendedSystem.isJVMUnresettable() is never called	19	Low
UPM: Private method joeq.ClassLib.ibm13_linux.com.ibm.jvm.ExtendedSystem.newArray(Class,int,Object) is never called	28	Low

joeq.ClassLib.ibm13_linux.java.lang.ref.Finalizer

Violation	Line	Priority
UPM: Private method joeq.ClassLib.ibm13_linux.java.lang.ref.Finalizer.initForReset() is never called	14	Low

joeq.ClassLib.ibm13_win32.java.lang.ref.Finalizer

Violation	Line	Priority
UPM: Private method joeq.ClassLib.ibm13_win32.java.lang.ref.Finalizer.initForReset() is never called	14	Low

joeq.Bootstrap.BootstrapCodeAddress

Violation	Line	Priority
IC: Initialization circularity between joeq.Bootstrap.BootstrapCodeAddress and joeq.Bootstrap.BootstrapCodeAddress$BootstrapCodeAddressFactory	-1	Normal
MS: joeq.Bootstrap.BootstrapCodeAddress.FACTORY isn't final and can't be protected from malicious code	20	Normal

joeq.Bootstrap.BootstrapHeapAddress

Violation	Line	Priority
IC: Initialization circularity between joeq.Bootstrap.BootstrapHeapAddress and joeq.Bootstrap.BootstrapHeapAddress$BootstrapHeapAddressFactory	-1	Normal
MS: joeq.Bootstrap.BootstrapHeapAddress.FACTORY isn't final but should be	21	High

joeq.Allocator.CircularAddressQueue

Violation	Line	Priority
MS: joeq.Allocator.CircularAddressQueue.QUEUE_WORDS should be package protected	26	Normal
UwF: Field not initialized in constructor: joeq.Allocator.CircularAddressQueue.blockEnd	-1	Low
UwF: Field not initialized in constructor: joeq.Allocator.CircularAddressQueue.blockStart	-1	Low
UwF: Field not initialized in constructor: joeq.Allocator.CircularAddressQueue.queueEnd	-1	Low
UwF: Field not initialized in constructor: joeq.Allocator.CircularAddressQueue.queueStart	-1	Low

joeq.Allocator.CodeAllocator

Violation	Line	Priority
MS: joeq.Allocator.CodeAllocator.TRACE isn't final but should be	37	High

joeq.Allocator.DefaultCodeAllocator

Violation	Line	Priority
MS: joeq.Allocator.DefaultCodeAllocator.default_allocator isn't final and can't be protected from malicious code	-1	Normal

joeq.Allocator.SimpleAllocator

Violation	Line	Priority
MS: joeq.Allocator.SimpleAllocator.NO_GC isn't final but should be	31	High
MS: joeq.Allocator.SimpleAllocator.TRACE_ALLOC isn't final but should be	33	High
MS: joeq.Allocator.SimpleAllocator.TRACE_FREELIST isn't final but should be	34	High
MS: joeq.Allocator.SimpleAllocator.TRACE_GC isn't final but should be	35	High
MS: joeq.Allocator.SimpleAllocator.MAX_MEMORY isn't final and can't be protected from malicious code	45	Normal

joeq.Class.jq_ClassFileConstants

Violation	Line	Priority
MS: joeq.Class.jq_ClassFileConstants.NO_OF_OPERANDS should be moved out of an interface and made package protected	368	Normal
MS: joeq.Class.jq_ClassFileConstants.TYPE_OF_OPERANDS should be moved out of an interface and made package protected	432	Normal
MS: joeq.Class.jq_ClassFileConstants.OPCODE_NAMES is a mutable array	499	High
MS: joeq.Class.jq_ClassFileConstants.CONSUME_STACK is a mutable array	551	Normal
MS: joeq.Class.jq_ClassFileConstants.PRODUCE_STACK is a mutable array	605	Normal

joeq.Class.jq_Reference

Violation	Line	Priority
MS: joeq.Class.jq_Reference._state isn't final but should be	111	High

joeq.Class.jq_ConstantPool

Violation	Line	Priority
MS: joeq.Class.jq_ConstantPool.TRACE isn't final but should be	29	High

joeq.Class.Delegates

Violation	Line	Priority
MS: joeq.Class.Delegates.default_compiler isn't final and can't be protected from malicious code	-1	Normal
MS: joeq.Class.Delegates.compilers isn't final but should be	85	High

joeq.Compiler.CompilationState$StaticCompilation

Violation	Line	Priority
MS: joeq.Compiler.CompilationState$StaticCompilation.ASSUME_CORRECT_EXCEPTIONS isn't final but should be	140	High

joeq.Compiler.CompilationState

Violation	Line	Priority
MS: joeq.Compiler.CompilationState.DEFAULT isn't final and can't be protected from malicious code	57	Normal

joeq.Memory.HeapAddress

Violation	Line	Priority
MS: joeq.Memory.HeapAddress.FACTORY isn't final and can't be protected from malicious code	-1	Normal

joeq.Memory.CodeAddress

Violation	Line	Priority
MS: joeq.Memory.CodeAddress.FACTORY isn't final and can't be protected from malicious code	-1	Normal

joeq.Memory.StackAddress

Violation	Line	Priority
MS: joeq.Memory.StackAddress.FACTORY isn't final and can't be protected from malicious code	-1	Normal

joeq.Runtime.Reflection

Violation	Line	Priority
MS: joeq.Runtime.Reflection.obj_trav isn't final and can't be protected from malicious code	-1	Normal
MS: joeq.Runtime.Reflection.USE_DECLARED_FIELDS_CACHE isn't final but should be	36	High
MS: joeq.Runtime.Reflection._class isn't final but should be	382	High
MS: joeq.Runtime.Reflection._obj_trav isn't final but should be	383	High

joeq.Runtime.MathSupport

Violation	Line	Priority
MS: joeq.Runtime.MathSupport.maxint isn't final but should be	426	Normal
MS: joeq.Runtime.MathSupport.minint isn't final but should be	428	Normal
MS: joeq.Runtime.MathSupport.maxlong isn't final but should be	431	Normal
MS: joeq.Runtime.MathSupport.minlong isn't final but should be	433	Normal

joeq.Runtime.ExceptionDeliverer

Violation	Line	Priority
MS: joeq.Runtime.ExceptionDeliverer.TRACE isn't final but should be	28	High

joeq.Runtime.StackCodeWalker

Violation	Line	Priority
MS: joeq.Runtime.StackCodeWalker.TRACE isn't final but should be	22	High

joeq.Runtime.Monitor

Violation	Line	Priority
MS: joeq.Runtime.Monitor.TRACE isn't final but should be	23	High
UwF: Field not initialized in constructor: joeq.Runtime.Monitor.monitor_owner	-1	Low

joeq.Interpreter.BytecodeInterpreter

Violation	Line	Priority
MS: joeq.Interpreter.BytecodeInterpreter.ALWAYS_TRACE isn't final but should be	26	High

joeq.Main.Instrument

Violation	Line	Priority
MS: joeq.Main.Instrument.trace isn't final but should be	110	Normal
UwF: Field not initialized in constructor: joeq.Main.Instrument.il	-1	Low
UwF: Field not initialized in constructor: joeq.Main.Instrument.jos	-1	Low
UwF: Field not initialized in constructor: joeq.Main.Instrument.method	-1	Low

joeq.Scheduler.jq_Thread

Violation	Line	Priority
MS: joeq.Scheduler.jq_Thread.INITIAL_STACK_SIZE isn't final and can't be protected from malicious code	54	Normal
MS: joeq.Scheduler.jq_Thread.thread_id_factory isn't final but should be	56	High

joeq.Scheduler.jq_RegisterState

Violation	Line	Priority
MS: joeq.Scheduler.jq_RegisterState.factory isn't final but should be	-1	High

joeq.Scheduler.jq_InterrupterThread

Violation	Line	Priority
MS: joeq.Scheduler.jq_InterrupterThread.TRACE isn't final but should be	24	High
MS: joeq.Scheduler.jq_InterrupterThread.QUANTA isn't final and can't be protected from malicious code	61	Normal
UrF: Unread field: joeq.Scheduler.jq_InterrupterThread.pid	-1	Normal

joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionConstants

Violation	Line	Priority
MS: joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionConstants.INSTRUCTIONS should be moved out of an interface and made package protected	9405	Normal

joeq.Compiler.BytecodeAnalysis.BytecodeVisitor

Violation	Line	Priority
MS: joeq.Compiler.BytecodeAnalysis.BytecodeVisitor.binopnames should be package protected	1292	Normal
MS: joeq.Compiler.BytecodeAnalysis.BytecodeVisitor.unopnames should be package protected	1295	Normal
MS: joeq.Compiler.BytecodeAnalysis.BytecodeVisitor.shiftopnames should be package protected	1300	Normal
MS: joeq.Compiler.BytecodeAnalysis.BytecodeVisitor.fcmpopnames should be package protected	1304	Normal
MS: joeq.Compiler.BytecodeAnalysis.BytecodeVisitor.cmpopnames is a mutable array	1314	High
MS: joeq.Compiler.BytecodeAnalysis.BytecodeVisitor.invokeopnames should be package protected	1320	Normal
MS: joeq.Compiler.BytecodeAnalysis.BytecodeVisitor.monitoropnames should be package protected	1324	Normal

joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis

Violation	Line	Priority
MS: joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.TYPE_NAMES should be package protected	52	Normal
MS: joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.ALWAYS_TRACE isn't final but should be	863	High

joeq.Compiler.BytecodeAnalysis.ModRefAnalysis

Violation	Line	Priority
MS: joeq.Compiler.BytecodeAnalysis.ModRefAnalysis.results isn't final but should be	38	High

joeq.Compiler.BytecodeAnalysis.Trimmer

Violation	Line	Priority
MS: joeq.Compiler.BytecodeAnalysis.Trimmer.TRACE isn't final but should be	41	High

joeq.Compiler.Quad.Operator

Violation	Line	Priority
MS: joeq.Compiler.Quad.Operator._delegate isn't final but should be	3880	High

joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor

Violation	Line	Priority
MS: joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor.added_hook should be package protected	204	Normal

joeq.Compiler.Quad.LoadedCallGraph

Violation	Line	Priority
MS: joeq.Compiler.Quad.LoadedCallGraph.type_comparator isn't final but should be	44	High
MS: joeq.Compiler.Quad.LoadedCallGraph.member_comparator isn't final but should be	51	High
MS: joeq.Compiler.Quad.LoadedCallGraph.callsite_comparator isn't final but should be	58	High

joeq.Compiler.Dataflow.ReachingDefs$RDVisitor

Violation	Line	Priority
MS: joeq.Compiler.Dataflow.ReachingDefs$RDVisitor.DUMP isn't final but should be	41	High
MS: joeq.Compiler.Dataflow.ReachingDefs$RDVisitor.SOLVER isn't final but should be	42	High

joeq.ClassLib.Common.InterfaceImpl$CommonObjectTraverser

Violation	Line	Priority
MS: joeq.ClassLib.Common.InterfaceImpl$CommonObjectTraverser.IGNORE_THREAD_LOCALS isn't final but should be	61	High

joeq.ClassLib.apple13_osx.Interface$apple13_osxObjectTraverser

Violation	Line	Priority
MS: joeq.ClassLib.apple13_osx.Interface$apple13_osxObjectTraverser.INSTANCE isn't final but should be	40	High

joeq.ClassLib.sun13_linux.Interface$sun13_linuxObjectTraverser

Violation	Line	Priority
MS: joeq.ClassLib.sun13_linux.Interface$sun13_linuxObjectTraverser.INSTANCE isn't final but should be	40	High

joeq.ClassLib.sun15_linux.Interface$sun15_linuxObjectTraverser

Violation	Line	Priority
MS: joeq.ClassLib.sun15_linux.Interface$sun15_linuxObjectTraverser.INSTANCE isn't final but should be	42	High

joeq.ClassLib.sun15_win32.Interface$sun15_win32ObjectTraverser

Violation	Line	Priority
MS: joeq.ClassLib.sun15_win32.Interface$sun15_win32ObjectTraverser.INSTANCE isn't final but should be	41	High

joeq.Util.Templates.ListWrapper$BasicBlock$EmptyIterator

Violation	Line	Priority
MS: joeq.Util.Templates.ListWrapper$BasicBlock$EmptyIterator.INSTANCE isn't final but should be	50	High

joeq.Util.Templates.ListWrapper$Quad$EmptyIterator

Violation	Line	Priority
MS: joeq.Util.Templates.ListWrapper$Quad$EmptyIterator.INSTANCE isn't final but should be	92	High

joeq.Util.Templates.ListWrapper$ExceptionHandler$EmptyIterator

Violation	Line	Priority
MS: joeq.Util.Templates.ListWrapper$ExceptionHandler$EmptyIterator.INSTANCE isn't final but should be	134	High

joeq.Compiler.Analysis.IPA.SubtypeHelper

Violation	Line	Priority
MS: joeq.Compiler.Analysis.IPA.SubtypeHelper.TRACE isn't final but should be	21	High

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$GlobalNode

Violation	Line	Priority
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$GlobalNode.GLOBAL isn't final and can't be protected from malicious code	2897	Normal

joeq.Compiler.Analysis.IPSSA.SSADefinition$Helper

Violation	Line	Priority
MS: joeq.Compiler.Analysis.IPSSA.SSADefinition$Helper._versionMap isn't final but should be	26	High
MS: joeq.Compiler.Analysis.IPSSA.SSADefinition$Helper._globalID should be package protected	-1	Normal
MS: joeq.Compiler.Analysis.IPSSA.SSADefinition$Helper._definitionCache isn't final but should be	29	High

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$GlobalNode

Violation	Line	Priority
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$GlobalNode.GLOBAL should be package protected	2948	Normal

joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper

Violation	Line	Priority
MS: joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper.TRACE isn't final but should be	21	High

joeq.ClassLib.Common.java.net.Inet4AddressImpl

Violation	Line	Priority
MS: joeq.ClassLib.Common.java.net.Inet4AddressImpl.gethostbyname should be package protected	-1	Normal

joeq.ClassLib.ibm13_linux.java.util.zip.ZipFile

Violation	Line	Priority
MS: joeq.ClassLib.ibm13_linux.java.util.zip.ZipFile.inflaters should be package protected	-1	Normal

joeq.ClassLib.ibm13_win32.java.util.zip.ZipFile

Violation	Line	Priority
MS: joeq.ClassLib.ibm13_win32.java.util.zip.ZipFile.inflaters should be package protected	-1	Normal

joeq.ClassLib.sun15_linux.java.lang.Runtime

Violation	Line	Priority
Nm: Confusing to have methods joeq.ClassLib.sun15_linux.java.lang.Runtime.loadLibrary0(Class,String) and joeq.ClassLib.sun14_win32.java.lang.Runtime.loadLibrary0(Class,String)	-1	Low

joeq.Compiler.BytecodeAnalysis.BasicBlock

Violation	Line	Priority
Nm: Confusing to have methods joeq.Compiler.BytecodeAnalysis.BasicBlock.addExceptionHandler_first(ExceptionHandlerList) and joeq.Compiler.Quad.BasicBlock.addExceptionHandler_first(ExceptionHandlerList)	98	Low

joeq.Compiler.Quad.Dominators

Violation	Line	Priority
Nm: Confusing to have methods joeq.Compiler.Quad.Dominators.visitBasicBlock(BasicBlock) and joeq.Compiler.BytecodeAnalysis.StackDepthVisitor.visitBasicBlock(BasicBlock)	85	Low

joeq.Allocator.RuntimeCodeAllocator$Runtimex86CodeBuffer

Violation	Line	Priority
UwF: Field not initialized in constructor: joeq.Allocator.RuntimeCodeAllocator$Runtimex86CodeBuffer.entrypointAddress	-1	Low

joeq.Class.PrimordialClassLoader$PathElement

Violation	Line	Priority
UwF: Field not initialized in constructor: joeq.Class.PrimordialClassLoader$PathElement.entries	-1	Low

joeq.Compiler.Analysis.IPA.ObjectCreationGraph

Violation	Line	Priority
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.ObjectCreationGraph.currentMethod	-1	Low

joeq.Compiler.Analysis.IPSSA.Apps.ResultCorrelation

Violation	Line	Priority
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPSSA.Apps.ResultCorrelation._that	-1	Low

joeq.Compiler.BytecodeAnalysis.ControlFlowGraph$BranchVisitor

Violation	Line	Priority
UwF: Field not initialized in constructor: joeq.Compiler.BytecodeAnalysis.ControlFlowGraph$BranchVisitor.bb	-1	Low

joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$SecondPassVisitor

Violation	Line	Priority
UwF: Field not initialized in constructor: joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$SecondPassVisitor.current_bb	-1	Low

joeq.Compiler.Dataflow.ReachingDefs

Violation	Line	Priority
UwF: Field not initialized in constructor: joeq.Compiler.Dataflow.ReachingDefs.mySolver	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Dataflow.ReachingDefs.regToDefs	-1	Low
UwF: Field not initialized in constructor: joeq.Compiler.Dataflow.ReachingDefs.transferFunctions	-1	Low

joeq.Compiler.Quad.CachedCallGraph

Violation	Line	Priority
UwF: Field not initialized in constructor: joeq.Compiler.Quad.CachedCallGraph.callSites	-1	Low

joeq.Scheduler.jq_ThreadQueue

Violation	Line	Priority
UwF: Field not initialized in constructor: joeq.Scheduler.jq_ThreadQueue.tail	-1	Low

joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat

Violation	Line	Priority
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_atime	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_blksize	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_blocks	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_ctime	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_dev	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_gid	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_ino	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_mode	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_mtime	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_nlink	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_rdev	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_size	-1	Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_uid	-1	Low
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__pad1	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__pad2	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__unused1	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__unused2	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__unused3	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__unused4	-1	Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__unused5	-1	Normal

joeq.ClassLib.sun15_win32.java.io.FileDescriptor

Violation	Line	Priority
UwF: Unwritten field: joeq.ClassLib.sun15_win32.java.io.FileDescriptor.err	-1	Normal
UwF: Unwritten field: joeq.ClassLib.sun15_win32.java.io.FileDescriptor.in	-1	Normal
NP: Read of unwritten field in joeq.ClassLib.sun15_win32.java.io.FileDescriptor.init()	21	Normal
NP: Read of unwritten field in joeq.ClassLib.sun15_win32.java.io.FileDescriptor.init()	19	Normal
UrF: Unread field: joeq.ClassLib.sun15_win32.java.io.FileDescriptor.fd	-1	Normal
UuF: Unused field: joeq.ClassLib.sun15_win32.java.io.FileDescriptor.handle	-1	Normal

joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis$LocalCallGraphNavigator

Violation	Line	Priority
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis$LocalCallGraphNavigator.cg	-1	Normal
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis$LocalCallGraphNavigator.klass	-1	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis$LocalCallGraphNavigator.next(Object)	88	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis$LocalCallGraphNavigator.prev(Object)	104	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis$LocalCallGraphNavigator.next(Object)	92	Normal

joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap

Violation	Line	Priority
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap.pa	-1	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap.get(Object)	134	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap.get(Object)	133	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap.get(Object)	132	Normal

joeq.Compiler.Analysis.IPA.PAResults$HeapLocation$FACTORY

Violation	Line	Priority
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.PAResults$HeapLocation$FACTORY._locationMap	-1	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PAResults$HeapLocation$FACTORY.createHeapLocation(joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node,joeq.Class.jq_Field)	1794	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PAResults$HeapLocation$FACTORY.createHeapLocation(joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node,joeq.Class.jq_Field)	1797	Normal

joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap

Violation	Line	Priority
UwF: Unwritten field: joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap.pa	-1	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap.get(Object)	134	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap.get(Object)	133	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap.get(Object)	132	Normal

joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1

Violation	Line	Priority
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1.size()	144	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1.iterator()	148	Normal

joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1$1

Violation	Line	Priority
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1$1.getKey()	164	Normal

joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1

Violation	Line	Priority
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1.size()	144	Normal
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1.iterator()	148	Normal

joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1$1

Violation	Line	Priority
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1$1.getKey()	164	Normal

joeq.Class.PrimordialClassLoader$PathElement$1

Violation	Line	Priority
SIC: The class joeq.Class.PrimordialClassLoader$PathElement$1 could be refactored into a named _static_ inner class	-1	Low

joeq.Class.PrimordialClassLoader$PathElement$2

Violation	Line	Priority
SIC: The class joeq.Class.PrimordialClassLoader$PathElement$2 could be refactored into a named _static_ inner class	-1	Low

joeq.Class.PrimordialClassLoader$PathElement$3

Violation	Line	Priority
SIC: The class joeq.Class.PrimordialClassLoader$PathElement$3 could be refactored into a named _static_ inner class	-1	Low

joeq.Class.PrimordialClassLoader$PathElement$4

Violation	Line	Priority
SIC: The class joeq.Class.PrimordialClassLoader$PathElement$4 could be refactored into a named _static_ inner class	-1	Low

joeq.Class.PrimordialClassLoader$ZipFileElement$1

Violation	Line	Priority
SIC: The class joeq.Class.PrimordialClassLoader$ZipFileElement$1 could be refactored into a named _static_ inner class	-1	Low

joeq.ClassLib.Common.java.util.zip.DeflaterEngine

Violation	Line	Priority
UuF: Unused field: joeq.ClassLib.Common.java.util.zip.DeflaterEngine.buffer	-1	Normal

joeq.ClassLib.Common.java.util.zip.OutputWindow

Violation	Line	Priority
SS: Unread field: joeq.ClassLib.Common.java.util.zip.OutputWindow.WINDOW_MASK; should this field be static?	-1	Normal
SS: Unread field: joeq.ClassLib.Common.java.util.zip.OutputWindow.WINDOW_SIZE; should this field be static?	-1	Normal

joeq.ClassLib.pa.Interface$1

Violation	Line	Priority
SIC: The class joeq.ClassLib.pa.Interface$1 could be refactored into a named _static_ inner class	-1	Low

joeq.ClassLib.sun14_linux.java.io.FileDescriptor

Violation	Line	Priority
UrF: Unread field: joeq.ClassLib.sun14_linux.java.io.FileDescriptor.fd	-1	Normal

joeq.ClassLib.sun14_linux.java.lang.StackTraceElement

Violation	Line	Priority
UrF: Unread field: joeq.ClassLib.sun14_linux.java.lang.StackTraceElement.declaringClass	-1	Normal
UrF: Unread field: joeq.ClassLib.sun14_linux.java.lang.StackTraceElement.fileName	-1	Normal
UrF: Unread field: joeq.ClassLib.sun14_linux.java.lang.StackTraceElement.lineNumber	-1	Normal
UrF: Unread field: joeq.ClassLib.sun14_linux.java.lang.StackTraceElement.methodName	-1	Normal

joeq.ClassLib.sun14_win32.java.io.FileDescriptor

Violation	Line	Priority
UrF: Unread field: joeq.ClassLib.sun14_win32.java.io.FileDescriptor.fd	-1	Normal

joeq.ClassLib.sun14_win32.java.lang.StackTraceElement

Violation	Line	Priority
UrF: Unread field: joeq.ClassLib.sun14_win32.java.lang.StackTraceElement.declaringClass	-1	Normal
UrF: Unread field: joeq.ClassLib.sun14_win32.java.lang.StackTraceElement.fileName	-1	Normal
UrF: Unread field: joeq.ClassLib.sun14_win32.java.lang.StackTraceElement.lineNumber	-1	Normal
UrF: Unread field: joeq.ClassLib.sun14_win32.java.lang.StackTraceElement.methodName	-1	Normal

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node$1

Violation	Line	Priority
SIC: The class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node$1 could be refactored into a named _static_ inner class	-1	Low

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OperandToNodeMap

Violation	Line	Priority
UuF: Unused field: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OperandToNodeMap.operandToNode	-1	Normal

joeq.Compiler.Analysis.IPA.PA$Dummy

Violation	Line	Priority
SIC: Should joeq.Compiler.Analysis.IPA.PA$Dummy be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPA.PACallGraph

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Analysis.IPA.PACallGraph.bdd	-1	Normal

joeq.Compiler.Analysis.IPA.PAQuery$ParamAliasFinder$ModifiableBoolean

Violation	Line	Priority
SIC: Should joeq.Compiler.Analysis.IPA.PAQuery$ParamAliasFinder$ModifiableBoolean be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPA.ParameterAliasing$ParamAliasFinder$ModifiableBoolean

Violation	Line	Priority
SIC: Should joeq.Compiler.Analysis.IPA.ParameterAliasing$ParamAliasFinder$ModifiableBoolean be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassHieraryNode

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassHieraryNode._parent	-1	Normal
SIC: Should joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassHieraryNode be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPSSA.Apps.DeclarationDepth$DeclarationDepthComputation

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.Apps.DeclarationDepth$DeclarationDepthComputation._verbose	-1	Normal

joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations$ClassAndMethod

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations$ClassAndMethod._c	-1	Normal

joeq.Compiler.Analysis.IPSSA.ContextSet$ContextLocationPair

Violation	Line	Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.ContextSet$ContextLocationPair be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$ContextEdge

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.DefinitionGraph$ContextEdge._context	-1	Normal
SIC: Should joeq.Compiler.Analysis.IPSSA.DefinitionGraph$ContextEdge be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EfficientDefinitionGraph

Violation	Line	Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EfficientDefinitionGraph be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EmptyEdge

Violation	Line	Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EmptyEdge be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$IPEdge

Violation	Line	Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.DefinitionGraph$IPEdge be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge._predicate	-1	Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge$TrueEdge

Violation	Line	Priority
UuF: Unused field: joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge$TrueEdge._predicate	-1	Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder$Main

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.IPSSABuilder$Main._verbose	-1	Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$LiftMergesVisitor

Violation	Line	Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$LiftMergesVisitor be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage2Visitor

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage2Visitor._h	-1	Normal

joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Helper

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Helper._query	-1	Normal

joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Query$1MethodBindingIterator

Violation	Line	Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Query$1MethodBindingIterator be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$1

Violation	Line	Priority
SIC: The class joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$1 could be refactored into a named _static_ inner class	-1	Low

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node$1

Violation	Line	Priority
SIC: The class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node$1 could be refactored into a named _static_ inner class	-1	Low

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$OperandToNodeMap

Violation	Line	Priority
UuF: Unused field: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$OperandToNodeMap.operandToNode	-1	Normal

joeq.Compiler.Analysis.Primitive.PrimitivePA$Dummy

Violation	Line	Priority
SIC: Should joeq.Compiler.Analysis.Primitive.PrimitivePA$Dummy be a _static_ inner class?	-1	Normal

joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph.bdd	-1	Normal

joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactState$LastUse

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactState$LastUse.bci	-1	Normal
UrF: Unread field: joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactState$LastUse.i	-1	Normal

joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor$1

Violation	Line	Priority
SIC: The class joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor$1 could be refactored into a named _static_ inner class	-1	Low

joeq.Compiler.Quad.BasicBlockVisitor$AllBasicBlockVisitor

Violation	Line	Priority
UrF: Unread field: joeq.Compiler.Quad.BasicBlockVisitor$AllBasicBlockVisitor.trace	-1	Normal

joeq.Compiler.Quad.ControlFlowGraph$1

Violation	Line	Priority
SIC: The class joeq.Compiler.Quad.ControlFlowGraph$1 could be refactored into a named _static_ inner class	-1	Low

joeq.Compiler.Quad.DotGraph$FactoredEdge

Violation	Line	Priority
SIC: Should joeq.Compiler.Quad.DotGraph$FactoredEdge be a _static_ inner class?	-1	Normal

joeq.Util.SyntheticGraphs.Graph$Edge

Violation	Line	Priority
SIC: Should joeq.Util.SyntheticGraphs.Graph$Edge be a _static_ inner class?	-1	Normal

joeq.Runtime.SystemInterface$Library

Violation	Line	Priority
IS: Inconsistent synchronization of joeq.Runtime.SystemInterface$Library.library_pointer; locked 66% of time	107	Normal
IS: Inconsistent synchronization of joeq.Runtime.SystemInterface$Library.opened; locked 66% of time	106	Normal

Documentation

Downloads

Search joeq

Project Documentation

Legend

FindBugs Results

Summary

Files

joeq.Allocator.CodeAllocator$x86CodeBuffer

joeq.Allocator.HeapAllocator

joeq.Allocator.SemiConservative

joeq.Class.NullDelegates$Klass

joeq.Class.jq_Member$FilterByName

joeq.Class.jq_Member$FilterByShortClassName

joeq.Class.jq_Member

joeq.Class.jq_Class$1

joeq.Class.jq_Class

joeq.Class.jq_Reference$jq_NullType

joeq.Class.jq_Method

joeq.Class.jq_Array

joeq.Class.jq_CompiledCode

joeq.Class.jq_BytecodeMap

joeq.Class.PrimordialClassLoader$1

joeq.Class.PrimordialClassLoader

joeq.UTF.Utf8

joeq.ClassLib.ClassLibInterface

joeq.Runtime.ObjectTraverser

joeq.Runtime.Arrays

joeq.Runtime.BasicReflectionImpl

joeq.Runtime.TypeCheck

joeq.Runtime.SystemInterface

joeq.Runtime.HighResolutionTimer

joeq.Runtime.ReflectionImpl

joeq.Interpreter.QuadInterpreter

joeq.Interpreter.BytecodeInterpreter$MethodInterpreter

joeq.Interpreter.ReflectiveInterpreter$ReflectiveState

joeq.Interpreter.ReflectiveInterpreter$ReflectiveVMInterface

joeq.Interpreter.ReflectiveInterpreter

joeq.Interpreter.DirectInterpreter$DirectVMInterface

joeq.Util.DescriptorUtil

joeq.Main.ClassDump

joeq.Main.ClasspathWalker

joeq.Main.ClassName

joeq.Main.Driver$1

joeq.Main.Driver

joeq.Main.GenRelations

joeq.Main.GenerateWebRoots

joeq.Main.Helper

joeq.Main.Instrument$ClassVisitor$MethodVisitor

joeq.Main.Instrument$ClassVisitor

joeq.Main.TraceFlags

joeq.Main.jq

joeq.Main.Bootstrapper

joeq.Scheduler.jq_NativeThread

joeq.Scheduler.jq_ThreadQueue$1

joeq.Scheduler.jq_MainThread

joeq.Scheduler.jq_x86RegisterState

joeq.Bootstrap.BootstrapCodeAllocator

joeq.Bootstrap.SinglePassBootImage$TextSection

joeq.Bootstrap.SinglePassBootImage$DataSection

joeq.Bootstrap.SinglePassBootImage

joeq.Bootstrap.BootstrapRootSet

joeq.Bootstrap.MethodInvocation

joeq.Bootstrap.MultiPassBootImage

joeq.Debugger.OnlineDebugger

joeq.Synchronization.Atomic

joeq.Compiler.BytecodeAnalysis.Bytecodes$Instruction

joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionList

joeq.Compiler.BytecodeAnalysis.Bytecodes$AALOAD

joeq.Compiler.BytecodeAnalysis.Bytecodes$AASTORE

joeq.Compiler.BytecodeAnalysis.Bytecodes$ALOAD

joeq.Compiler.BytecodeAnalysis.Bytecodes$ANEWARRAY

joeq.Compiler.BytecodeAnalysis.Bytecodes$ARETURN

joeq.Compiler.BytecodeAnalysis.Bytecodes$BALOAD

joeq.Compiler.BytecodeAnalysis.Bytecodes$BASTORE

joeq.Compiler.BytecodeAnalysis.Bytecodes$CALOAD

joeq.Compiler.BytecodeAnalysis.Bytecodes$CASTORE

joeq.Compiler.BytecodeAnalysis.Bytecodes$CHECKCAST

joeq.Compiler.BytecodeAnalysis.Bytecodes$D2F

joeq.Compiler.BytecodeAnalysis.Bytecodes$D2I